Make the server port configurable via new serverPort property
commitf0ac0769227c789b3fba6921512ae69b54088e71
authorJonas Fonseca <fonseca@diku.dk>
Tue, 9 Oct 2007 21:56:09 +0000 (9 23:56 +0200)
committerJonas Fonseca <fonseca@diku.dk>
Wed, 10 Oct 2007 13:41:41 +0000 (10 15:41 +0200)
tree28b2e1a16f798803f48a656e50d2d0ac77c9796a
parentf6e3b88e4ffbd3d72d5cf05ef380386b30850992
Make the server port configurable via new serverPort property
src/main/gui/ReMote.java