HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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 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
(* val fyodor_ip : (ip) = "64.20.38.170"; *)
val simpleWeb = \host -> \docroot -> web host where