Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
20,201 Commits 28 Branches 142 Tags 697 MiB
Commit Graph

1 Commits

Author SHA1 Message Date
K.Kanakhin cb1d61cae0 run-dev: Add pid file to development server. 
- Add pid file of development processes group, which allows to
  manage development processes group with os utils. Also it allows to
  kill subprocesses  when parent process was closed incorrectly.
- Add tool 'stop_dev_server' to stop development server by pid file.

Fixes #1547
 2017-02-02 21:07:03 -08:00