# HG changeset patch
# User Teemu Piippo <crimsondusk64@gmail.com>
# Date 1415144288 -7200
# Node ID 384167adad2b670ae63b8588fe7bbc9c68a98ccc
# Parent  a1a864c25e42707dea3d85267cc1e65ae3d178ba
- restart correctly after updating

diff -r a1a864c25e42 -r 384167adad2b cmd_admin.py
--- a/cmd_admin.py	Wed Nov 05 01:36:38 2014 +0200
+++ b/cmd_admin.py	Wed Nov 05 01:38:08 2014 +0200
@@ -52,7 +52,7 @@
 		r2 = repo.hg_id()
 		if r1 != r2:
 			bot.privmsg (replyto, 'Updated to %s, restarting...' % r2)
-			excepterm('')
+			bot.restart()
 		else:
 			bot.privmsg (replyto, 'Up to date at %s.' % r2)
 	except hgapi.HgException as e: