hcoop: add new server shelob.hcoop.net

[hcoop/domtool2.git] / lib / hcoop.dtl

diff --git a/lib/hcoop.dtl b/lib/hcoop.dtl
index 19db641..d06cb60 100644 (file)
--- a/lib/hcoop.dtl
+++ b/lib/hcoop.dtl
@@ -39,6 +39,9 @@ val minsky_ip : (ip) = "138.197.104.192";
 val minsky_private_ip : (ip) = "10.132.150.187";
 val minsky_ipv6 : (ipv6) = "2604:a880:800:a1::1232:e001";
 
+val shelob_ip : (ip) = "165.227.126.167";
+val shelob_private_ip : (ip) = "10.132.10.58";
+val shelob_ipv6 : (ipv6) = "2604:a880:800:a1::14a3:7001";
 (* val fyodor_ip : (ip) = "64.20.38.170"; *)
 
 val simpleWeb = \host -> \docroot -> web host where