void CheckServerKey (object key) { if (key == null || ((string)key).Length == 0) throw new HttpException ("The server tag is not well formed."); } }