##// END OF EJS Templates
commandserver: send pgid in hello message...
Jun Wu -
r29580:ee818645 default
parent child Browse files
Show More
@@ -282,6 +282,9 b' class server(object):'
282 hellomsg += 'encoding: ' + encoding.encoding
282 hellomsg += 'encoding: ' + encoding.encoding
283 hellomsg += '\n'
283 hellomsg += '\n'
284 hellomsg += 'pid: %d' % util.getpid()
284 hellomsg += 'pid: %d' % util.getpid()
285 if util.safehasattr(os, 'getpgid'):
286 hellomsg += '\n'
287 hellomsg += 'pgid: %d' % os.getpgid(0)
285
288
286 # write the hello msg in -one- chunk
289 # write the hello msg in -one- chunk
287 self.cout.write(hellomsg)
290 self.cout.write(hellomsg)
General Comments 0
You need to be logged in to leave comments. Login now