Ensure server cleanup on exit only happens if the server actually started up. Fixes #3277
Branch
------
master
Details
-------
https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=252a9b265b1ed97c1562d9f9f68feaed229ef19b
Author: Akshay Joshi <akshay(dot)joshi(at)enterprisedb(dot)com>
Modified Files
--------------
docs/en_US/release_notes_3_1.rst | 1 +
runtime/pgAdmin4.cpp | 3 ++-
2 files changed, 3 insertions(+), 1 deletion(-)