| 799 | } |
| 800 | |
| 801 | void listfavcats() |
| 802 | { |
| 803 | const char *str = conc((const char **)favcats.getbuf(), favcats.length(), true); |
| 804 | result(str); |
| 805 | delete [] str; |
| 806 | } |
| 807 | |
| 808 | bool favcatcheckkey(serverinfo &si, const char *key) |
| 809 | { // IP:port, #gamemode ,%mapname, desc |