Remove errol from DNS

diff --git a/src/hosts.js b/src/hosts.js
index 1593852ddb819aa6c90d02fc80a6eedaf6d54760..d9232997eb76336a50d8b2e47a9ec6e59aa7cedd 100644 (file)
--- a/src/hosts.js
+++ b/src/hosts.js
@@ -34,10 +34,6 @@ var DULCY_OOB = "10.0.49.9";
 var EDDIE_INTERNAL = "10.0.0.10";
 var EDDIE_OOB = "10.0.1.10";
 
-var ERROL_IPV4 = "193.60.236.13";
-var ERROL_INTERNAL = "10.0.0.14";
-var ERROL_OOB = "10.0.1.14";
-
 var EUSTACE_IPV4 = "193.60.236.14";
 var EUSTACE_INTERNAL = "10.0.0.9";
 var EUSTACE_OOB = "10.0.1.9";