# HG changeset patch
# User drewp@bigasterisk.com
# Date 2013-06-12 05:01:02
# Node ID 8435e3ee1ec2fd8c64ac2c59c646724bff3e88d7
# Parent  92c6e4b6cabb77bf51abf7c7b320783fb0bfbc9d

put program name in terminal title
Ignore-this: dc97077b95fe4d23527c1ea08e3fe7c1

diff --git a/bin/run_local.py b/bin/run_local.py
--- a/bin/run_local.py
+++ b/bin/run_local.py
@@ -30,4 +30,8 @@ class CSH(coloredlogs.ColoredStreamHandl
 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])