#62 add debug message of HTTP PUSH output of HTTP server