From 462e7f3d0dad02e4a65af35ef18815173a72c26d Mon Sep 17 00:00:00 2001
From: ThomasV <thomasv@gitorious>
Date: Wed, 9 Nov 2011 22:56:24 +0100
Subject: [PATCH] exit after giuo session

---
 client/electrum.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/client/electrum.py b/client/electrum.py
index c6b6810cf..af6478517 100755
--- a/client/electrum.py
+++ b/client/electrum.py
@@ -617,6 +617,7 @@ if __name__ == '__main__':
         gui.init_wallet(wallet)
         gui = gui.BitcoinGUI(wallet)
         gui.main()
+        exit(0)
 
     if not wallet.read():