-LRN: set control_pipe to NULL if not controlled
authorChristian Grothoff <christian@grothoff.org>
Wed, 29 Feb 2012 09:24:24 +0000 (09:24 +0000)
committerChristian Grothoff <christian@grothoff.org>
Wed, 29 Feb 2012 09:24:24 +0000 (09:24 +0000)
commit7aa1787054721f8009d4d195e7dae22831828fb2
tree96072b767e314ee335a2d6fe1d20a8b36049c20c
parenta45215154b2d27ac57d042ab081ee1e54071951e
-LRN: set control_pipe to NULL if not controlled
src/util/os_priority.c