- Shut the client's tries to configure server up
- Fix a bug which led to "different maps generated" when server changes map, but theme doesn't get changed
if(WIN32 AND NOT UNIX) file(GLOB DLLs *.dll) install(FILES ${DLLs} DESTINATION bin)endif(WIN32 AND NOT UNIX)