1 #include <libplayerc++/playerc++.h> 5 std::string
gHostname(PlayerCc::PLAYER_HOSTNAME);
6 uint
gPort(PlayerCc::PLAYER_PORTNUM);
19 const char* optflags =
"h:p:i:n:d:u:lm:";
23 while(-1 != (ch = getopt(argc, argv, optflags)))
66 cerr <<
"USAGE: " << *argv <<
" [options]" << endl << endl;
67 cerr <<
"Where [options] can be:" << endl;
68 cerr <<
" -h <hostname> : hostname to connect to (default: " 69 << PlayerCc::PLAYER_HOSTNAME <<
")" << endl;
70 cerr <<
" -p <port> : port where Player will listen (default: " 71 << PlayerCc::PLAYER_PORTNUM <<
")" << endl;
72 cerr <<
" -i <index> : device index (default: 0)" 74 cerr <<
" -n <number of robots> : population size (default: " 76 cerr <<
" -d <level> : debug message level (0 = none -- 9 = all)" 78 cerr <<
" -u <rate> : set server update rate to <rate> in Hz" 80 cerr <<
" -l : Use laser if applicable" 82 cerr <<
" -m <datamode> : set server data delivery mode" 84 cerr <<
" PLAYER_DATAMODE_PUSH = " 85 << PLAYER_DATAMODE_PUSH << endl;
86 cerr <<
" PLAYER_DATAMODE_PULL = " 87 << PLAYER_DATAMODE_PULL << endl;
int parse_args(int argc, char **argv)
uint gPort(PlayerCc::PLAYER_PORTNUM)
uint gDataMode(PLAYER_DATAMODE_PUSH)
void print_usage(int argc, char **argv)
std::string gHostname(PlayerCc::PLAYER_HOSTNAME)