Commit 8c5534dd authored by Lukáš Marek's avatar Lukáš Marek

fix for re pid filname

parent ce6bbcb0
......@@ -11,7 +11,7 @@ fi
SERVER_FILE=.server.pid
export SERVER_FILE
RE_SERVER_FILE=re_server.pid
RE_SERVER_FILE=.re_server.pid
export RE_SERVER_FILE
# kill running server
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment