Add IP of license servers.

doc/erko_howto_tools.txt

@@ -1159,13 +1159,46 @@ SHELL=/bin/bash
 * License server
 *******************************************************************************
 
+# RW --> EK 5 dec 2024:
+#  Modelsim draaide voorheen op LICENSE5 maar nu op LICENSE1. Quartus is (weer) op LICENSE4 zoals voorheen.
+
 export LM_LICENSE_FILE=1800@license4.astron.nl:1717@license5.astron.nl
 
+# Echo $LM_LICENSE_FILE, set in ~/.bashrc
+
+:kooistra@dop466:/dop466_0/kooistra/git/hdl$ echo $LM_LICENSE_FILE
+1800@license4.astron.nl:1717@license1.astron.nl:29000@10.87.3.179
+
+regtest@dop349:~/git/hdl$ echo $LM_LICENSE_FILE
+1800@license4.astron.nl:27000@ntserver14:1717@ntserver14
+
+kooistra@dop386:~$ echo $LM_LICENSE_FILE
+1800@10.87.3.179:1717@10.87.3.114:29000@10.87.3.179
+
+# Ping license servers
+
 ping 10.87.3.179  # = ping license4.astron.nl
 ping 10.87.3.114  # = ping license5.astron.nl
 
-RW --> EK 5 dec 2024:
-  Modelsim draaide voorheen op LICENSE5 maar nu op LICENSE1. Quartus is (weer) op LICENSE4 zoals voorheen.
+:kooistra@dop466:/dop466_0/kooistra/git/hdl$ ping license1.astron.nl
+PING ntserver14.nfra.nl (10.87.3.113) 56(84) bytes of data.
+64 bytes from NTSERVER14.nfra.nl (10.87.3.113): icmp_seq=1 ttl=128 time=0.634 ms
+
+:kooistra@dop466:/dop466_0/kooistra/git/hdl$ ping license2.astron.nl
+ping: license2.astron.nl: Name or service not known
+
+:kooistra@dop466:/dop466_0/kooistra/git/hdl$ ping license3.astron.nl
+PING ntserver3.nfra.nl (10.87.3.120) 56(84) bytes of data.
+64 bytes from NTSERVER3.nfra.nl (10.87.3.120): icmp_seq=1 ttl=128 time=2.84 ms
+
+
+:kooistra@dop466:/dop466_0/kooistra/git/hdl$ ping license4.astron.nl
+PING ntserver79.nfra.nl (10.87.3.179) 56(84) bytes of data.
+64 bytes from NTSERVER79.nfra.nl (10.87.3.179): icmp_seq=1 ttl=128 time=0.560 ms
+
+:kooistra@dop466:/dop466_0/kooistra/git/hdl$ ping license5.astron.nl
+PING ntserver15.nfra.nl (10.87.3.114) 56(84) bytes of data.
+64 bytes from NTSERVER15.nfra.nl (10.87.3.114): icmp_seq=1 ttl=128 time=1.28 ms
 
 *******************************************************************************
 * Screen to run a terminal session without ssh connection