debug printf fix: use DEBUG_PRINT() macro
	modified:   server.c