server_common/tools
5
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

1

Browse Source
This commit is contained in:
aozhiwei 2019-12-16 16:03:17 +08:00
parent 8056b37ae1
commit 43a09bd136
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/server/monitor.py
View File

@ -22,7 +22,7 @@ def getRuningProgramPids(progname):
def monitor_app(exename, args): def monitor_app(exename, args):
exename = exename.strip(); exename = exename.strip();
if exename== '': if exename == '':
return return
args = args.strip() args = args.strip()
while True: while True: