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.jo...@enterprisedb.com>

Modified Files
--------------
docs/en_US/release_notes_3_1.rst | 1 +
runtime/pgAdmin4.cpp             | 3 ++-
2 files changed, 3 insertions(+), 1 deletion(-)

Reply via email to