equal
deleted
inserted
replaced
272 while 1: |
272 while 1: |
273 try: |
273 try: |
274 line = sys.stdin.readline() |
274 line = sys.stdin.readline() |
275 except KeyboardInterrupt: |
275 except KeyboardInterrupt: |
276 print "\nInterrupted!" |
276 print "\nInterrupted!" |
277 exit(0) |
277 sys.exit(0) |
278 if not line: |
278 if not line: |
279 break |
279 break |
280 |
280 |
281 last_conf_change = os.stat(CONFFILE).st_ctime |
281 last_conf_change = os.stat(CONFFILE).st_ctime |
282 if last_conf_change > last_conf_read: |
282 if last_conf_change > last_conf_read: |