Index: tools/pencontrl/pen.sh
===================================================================
--- tools/pencontrl/pen.sh	(revision 4284)
+++ tools/pencontrl/pen.sh	(revision 4297)
@@ -1,5 +1,23 @@
 #!/bin/sh
-thisdir=/usr/local/etc/rc.d
-killall pen
-/usr/local/bin/pen -b 30 -r -p /var/run/pen.pid -S 3 -O 172.31.255.1:3128 \
-`$thisdir/pencontrl.sh` &
+echo "" > /tmp/proxylist
+
+get_fetch() {
+  http_proxy="$1:$2"
+  export http_proxy
+  test=`fetch -T 10 -o /dev/null http://www.planet.nl 2>&1`
+  if [ $? = 0 ]; then
+    echo "`echo "$test" |grep kBps | \
+    sed 's/^.*(//' | awk '{print $1}'` $1" >> /tmp/proxylist
+  fi
+}
+
+get_fetch proxy1.wleiden.net 3128
+get_fetch proxy2.wleiden.net 3128
+get_fetch proxy3.wleiden.net 3128
+
+sort -nr /tmp/proxylist > /var/db/proxylist
+
+kill `cat /var/run/pen.pid`
+
+/usr/local/bin/pen -b 30 -r -p /var/run/pen.pid -S 3 -O \
+172.31.255.1:3128  `cat /var/db/proxylist | awk '{print $2}' | tr "\n" " "`
Index: tools/pencontrl/pencontrl.sh
===================================================================
--- tools/pencontrl/pencontrl.sh	(revision 4284)
+++ tools/pencontrl/pencontrl.sh	(revision 4297)
@@ -1,13 +1,19 @@
 #!/bin/sh
-dir=/usr/local/etc/
-dbdir=/var/db
-echo > /tmp/proxytest
-for i in proxy1 proxy2 proxy3
-do
-  http_proxy=http://$i.wleiden.net:3128/
-  echo $i >> /tmp/proxytest
-  wget -t 1 -T 100 -O /dev/null www.planet.nl 2>>/tmp/proxytest
-done
-awk -f $dir/awkpencontrl /tmp/proxytest | sort -r -n >$dbdir/pensequence
-awk '{print $2 " "}' $dbdir/pensequence | tr -d "\n"
+echo "" > /tmp/tmp
 
+get_fetch() {
+  http_proxy="$1:$2"
+  export http_proxy
+  test=`fetch -T 10 -o /dev/null http://www.planet.nl 2>&1`
+  if [ $? = 0 ]; then
+    echo "`echo "$test" |grep kBps | \
+    sed 's/^.*(//' | awk '{print $1}'` $1" >> /tmp/tmp
+  fi
+}
+
+get_fetch proxy1.wleiden.net 3128
+get_fetch proxy2.wleiden.net 3128
+get_fetch proxy3.wleiden.net 3128
+
+sort -nr /tmp/tmp
+
Index: tools/pencontrl/readme.txt
===================================================================
--- tools/pencontrl/readme.txt	(revision 4284)
+++ tools/pencontrl/readme.txt	(revision 4297)
@@ -4,27 +4,24 @@
       eerst wordt de lopende pen gekilld
       daarna wordt pen opgestart met proxies in volgorde van throughput
-      dit wordt gedaan in het script pencontrl.sh
+      dit wordt gedaan in het script pen.sh
 
 methode:
+      De throughput wordt bepaald met fetch.
       Door de environment variabele http_proxy te veranderen in de 
-      verschillende proxies wordt met wget een pagina van planet 
-      binnengehaald en geschreven naar /dev/null
-      de prestatie gegevens worden verwerkt en per proxy wordt er een 
-      regel in /var/db/pensequences geschreven
+      verschillende proxies wordt met fetch een pagina van verschillende
+      proxies binnengehaald en geschreven naar /dev/null
+      De prestatie gegevens worden verwerkt en per proxy wordt er een 
+      regel in /tmp/proxylist  geschreven
       <aantal_bytes_per_seconde> <proxy_naam>
-      Hierdoor kan in deze file altijd gezien worden wat de prestatie 
+      Daarna wordt deze lijst gesorteerd op het eerste veld en
+      hierdoor kan in deze file altijd gezien worden wat de prestatie 
       van de proxies waren, op basis waarvan de volgorde van proxy
       aanroep door pen wordt bepaald.
-      pencontrl.sh maakt gebruik van een awk filter, die is gespecificeerd
-      in /usr/local/etc/awkpencontrl
 
-randvoorwaarden:
-      Om wget te laten werken is de library /usr/local/lib/libconv.so.3
-      op de node gezet.
-      Verder was het nodig om in /root/.cshrc op te nemen:
-      setenv http_proxy http:proxy.wleiden.net:3128
-      Zonder deze setting hadden de variable setting van http_proxy
-      in het script geen betekenis als environment variabele.
-      De gekozen setting is handig, omdat bij het inloggen meteen getest kan
-      worden of pen werkt. 
-      
+gebruikers support
+      Het script pencontrl geeft direct de gesorteerde lijst van prox 
+      prestaties in kbytes/s.  Dit kan vergeleken worden met 
+      /var/db/proxylist zodat besloten kan worden of het zinvol is om over te gaan op 
+      een andere proxy.  In principe is www.proxy.wleiden.net altijd
+      de beste, maar dit kan door de scheduling achter lopen bij de
+      actuele situatie.