| commit | f6e3b88e4ffbd3d72d5cf05ef380386b30850992 | |
| author | Jonas Fonseca <fonseca@diku.dk> | |
| Tue, 9 Oct 2007 21:53:39 +0000 (9 23:53 +0200) | ||
| committer | Jonas Fonseca <fonseca@diku.dk> | |
| Wed, 10 Oct 2007 13:39:16 +0000 (10 15:39 +0200) | ||
| tree | 2da7d46a10cdf023d62ce47bacd110b3b176b456 | treesnapshot (tar.gz zip) |
| parent | a0e3adb0f6abd44361152fc20077f4ce24bd576e | commitdiff |
Add support for actually honouring the serverName option in .re-mote
Instead of always setting the serverName, it now first looks it up.
Also, change the default serverName value to amigos30.diku.dk.
Instead of always setting the serverName, it now first looks it up.
Also, change the default serverName value to amigos30.diku.dk.
| src/main/gui/ReMote.java | diffblobblamehistory |