Commit 23d1a622 authored by Jondy Zhao's avatar Jondy Zhao

fix problem: get unexpected pipename

parent 08955fb8
......@@ -185,5 +185,5 @@ def get_pipename(pipe_id):
with open(os.path.join(path, 'winpid'), 'r') as f:
winpid = f.readline()
r = os.path.realpath('%s/fd/%s' % (path, pipe_id)).split('/')
r[1] = winpid
r[2] = winpid.strip()
return '/'.join(r)
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