From 3ce4b25df9683e3260bea90c01e7fdddaf35fdf8 2013-09-09 20:59:49
From: Paul Ivanov <pivanov314@gmail.com>
Date: 2013-09-09 20:59:49
Subject: [PATCH] Merge pull request #4189 from minrk/localinterfaces-finally

always fire LOCAL_IPS.extend(PUBLIC_IPS)
---

diff --git a/IPython/utils/localinterfaces.py b/IPython/utils/localinterfaces.py
index 334e0f4..6418459 100644
--- a/IPython/utils/localinterfaces.py
+++ b/IPython/utils/localinterfaces.py
@@ -43,7 +43,7 @@ try:
         PUBLIC_IPS = socket.gethostbyname_ex(socket.gethostname() + '.local')[2]
 except socket.error:
     pass
-else:
+finally:
     PUBLIC_IPS = uniq_stable(PUBLIC_IPS)
     LOCAL_IPS.extend(PUBLIC_IPS)