Omdat Daan via suggesties netjes heeft gerapporteerd dat Harvester
vastliep bij het wegvallen van de verbinding, het opstarten als er nog
geen verbinding is, en bij het terugkomen uit de slaap-stand, heb ik
samen met hem naar de oorzaak gezocht.
Die hebben we gelukkig ook gevonden.
Er komt dus een update aan. Zodra ik op de server het ondersteunde
versienummer aanpas, zal een draaiende Harvester een browser-window
openen voor de download, of hierover een tekst melden als de werkwijze
nongui is.
Bij het updaten heeft het de voorkeur om de .jar-file in dezelfde
directory te zetten als de voorgaande versie. Dan blijft je naam in de
score-lijst bewaard.
Ik zal de update zaterdagochtend activeren. Dat geeft de meeste kans op
een snelle omschakeling.
Groetjes,
Ruud
_______________________________________________
Over de OpenTaal-mailinglist:
http://opentaal.org/mailinglist.phpZoeken in het mailinglistarchief:
http://opentaal.org/zoeken.phpJuridische voorwaarden:
http://opentaal.org/licentie.php
