vrde 14d523efd5 Problem: processes don't have an intelligible name (#2078) ... Solution: when a process starts, update the "process title" as well.		2018-02-21 17:54:50 +01:00
..
__init__.py
configs.py
loggers.py
setup.py	Problem: processes don't have an intelligible name (#2078)	2018-02-21 17:54:50 +01:00