[PATCH] server: Print process id in debug traces.