| 89:58b788fd10a7 | 90:395542d915d7 |
|---|---|
| 41 GameInfo gameinfo; | 41 GameInfo gameinfo; |
| 42 char* port; | 42 char* port; |
| 43 char* serverhost; /* NULL, if we are about to start a server */ | 43 char* serverhost; /* NULL, if we are about to start a server */ |
| 44 char* continuepgn; | 44 char* continuepgn; |
| 45 bool singlemachine; | 45 bool singlemachine; |
| 46 bool disableflip; | |
| 46 bool unicode; | 47 bool unicode; |
| 47 } Settings; | 48 } Settings; |
| 48 | 49 |
| 49 #define is_server(settings) !((settings)->serverhost) | 50 #define is_server(settings) !((settings)->serverhost) |
| 50 | 51 |