server: fix bad win32 indentation