diff options
| author | Erik Johnston <erikj@jki.re> | 2017-04-27 15:46:53 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-04-27 15:46:53 +0100 |
| commit | f87b287291067924f02d1f90ac1a423a52b6290e (patch) | |
| tree | ee3637d382484ee426b05912dabf3385e6a10c71 /jenkins | |
| parent | Merge pull request #2131 from matthewjwolff/develop (diff) | |
| parent | synctl.py: Check if synapse is already running (diff) | |
| download | synapse-f87b287291067924f02d1f90ac1a423a52b6290e.tar.xz | |
Merge pull request #2127 from APwhitehat/alreadystarted
print something legible if synapse already running
Diffstat (limited to 'jenkins')
0 files changed, 0 insertions, 0 deletions