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