test server port numbers are now easily changed

diff --git a/docs/TODO b/docs/TODO
index 7145b46f3b02462c9859bc09f0fe11cb3b12ac75..94507ea982bcc169b20c78a6a2d52d7ba9a124fa 100644 (file)
--- a/docs/TODO
+++ b/docs/TODO
@@ -221,9 +221,6 @@ TODO
  * Make the test servers able to serve multiple running test suites. Like if
    two users run 'make test' at once.
 
- * Make runtests.pl capable of changing port numbers for the servers. This was
-   the intention from the start, but in practise it is now hard.
-
  * If perl wasn't found by the configure script, don't attempt to run the
    tests but explain something nice why it doesn't.