From 473c18988447c6d602216ffecf440f782f26d405 Mon Sep 17 00:00:00 2001 From: Florian Schweikert Date: Fri, 30 Sep 2011 20:51:07 +0300 Subject: [PATCH] Edited scotty via GitHub --- scotty | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scotty b/scotty index 9a6ecbe..cc242fc 100755 --- a/scotty +++ b/scotty @@ -82,7 +82,7 @@ if parser.state == PageType.RESULT: print 'q. Quit' l = sys.stdin.readline().strip() print - print '~' * 100 + print '~' * 80 if l.isdigit() and int(l) <= len(details): for detail in details[int(l) - 1]: @@ -91,7 +91,7 @@ if parser.state == PageType.RESULT: print '[%s] %s\n%s' % (time, ' -> '.join(detail['station']), '\n'.join(detail['info'])) else: print '\n'.join(detail['info']) - print '-' * 100 + print '-' * 80 print else: print 'Error - unknown page returned.' -- 1.7.9.5