# HG changeset patch
# User drewp@bigasterisk.com
# Date 1371013262 0
# Node ID 8435e3ee1ec2fd8c64ac2c59c646724bff3e88d7
# Parent  92c6e4b6cabb77bf51abf7c7b320783fb0bfbc9d
put program name in terminal title
Ignore-this: dc97077b95fe4d23527c1ea08e3fe7c1

diff -r 92c6e4b6cabb -r 8435e3ee1ec2 bin/run_local.py
--- a/bin/run_local.py	Wed Jun 12 04:48:26 2013 +0000
+++ b/bin/run_local.py	Wed Jun 12 05:01:02 2013 +0000
@@ -30,4 +30,8 @@
 log.addHandler(CSH(show_hostname=False, show_name=True))
 
 
+def setTerminalTitle(s):
+    if os.environ.get('TERM', '') in ['xterm']:
+        print "\033]0;%s\007" % s # not escaped/protected correctly
 
+setTerminalTitle(sys.argv[0])