diff --git a/src/backend/utils/misc/ps_status.c b/src/backend/utils/misc/ps_status.c index 20b717e5be..ec314c03f5 100644 --- a/src/backend/utils/misc/ps_status.c +++ b/src/backend/utils/misc/ps_status.c @@ -443,6 +443,7 @@ get_ps_display(int *displen) return ps_buffer + ps_buffer_fixed_size; #else + *displen = 0; return ""; #endif }