Fri, 09 Mar 2018 12:45:53 +0100 | wenzelm | tuned signature; | changeset | files |
Fri, 09 Mar 2018 12:42:34 +0100 | wenzelm | tuned signature; | changeset | files |
Fri, 09 Mar 2018 12:38:46 +0100 | wenzelm | clarified toString operations; | changeset | files |
Fri, 09 Mar 2018 12:29:56 +0100 | wenzelm | clarified socket connection; | changeset | files |
Fri, 09 Mar 2018 12:07:47 +0100 | wenzelm | server commands may access Server; | changeset | files |
Thu, 08 Mar 2018 21:09:22 +0100 | wenzelm | tuned -- avoid regex matching on potentially large string; | changeset | files |