Ashesh Vashi bfe1b773b3 Do not rely on config.SERVER_MODE for determining (if it is running from ... runtime, or time), instead check the environment variable PGADMIN_PORT to do that as per Dave.		2016-06-20 22:00:16 +05:30
..
static	Process manager UI cleanup.	2016-06-17 15:24:15 +01:00
__init__.py	String improvements.	2016-06-17 14:21:14 +01:00
process_executor.py	String improvements.	2016-06-17 14:21:14 +01:00
processes.py	Do not rely on config.SERVER_MODE for determining (if it is running from	2016-06-20 22:00:16 +05:30