static int webServerPort() {
  O port = getOpt(getMainBot(), "webServerPort");
  ret port == null ? 0 : (int) port;
}