summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--play4
1 files changed, 4 insertions, 0 deletions
diff --git a/play b/play
index 7b19fc7..4305fcf 100644
--- a/play
+++ b/play
@@ -1481,6 +1481,10 @@ class Application:
XTERM and sys.stderr.write("\033]0;%s\a" % "xterm")
tty and tty.tcsetattr(sys.stdin.fileno(), tty.TCSADRAIN, self.tcattr)
print
+ try:
+ if os.path.exists(CONTROL_FIFO): os.unlink(CONTROL_FIFO)
+ except IOError:
+ pass
def run(self):
while 1: