From 2c7ab64e836a2c04de203ff9d7023895c806c427 Mon Sep 17 00:00:00 2001
From: Johann Bauer <bauerj@bauerj.eu>
Date: Fri, 17 Feb 2017 15:41:50 +0100
Subject: [PATCH] Always include default servers in the server list

---
 lib/network.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lib/network.py b/lib/network.py
index 05718820..02f95a1d 100644
--- a/lib/network.py
+++ b/lib/network.py
@@ -363,7 +363,8 @@ class Network(util.DaemonThread):
 
     def get_servers(self):
         if self.irc_servers:
-            out = self.irc_servers
+            out = self.irc_servers.copy()
+            out.update(DEFAULT_SERVERS)
         else:
             out = DEFAULT_SERVERS
             for s in self.recent_servers: