mcevent.py
changeset 12 5f16a0f3124c
parent 11 5ee5101decd0
child 13 4db51cfb9e15
equal deleted inserted replaced
11:5ee5101decd0 12:5f16a0f3124c
   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: