diff options
author | Stefan Dombrowski <stefan@uni-bonn.de> | 2010-09-04 23:50:20 +0200 |
---|---|---|
committer | Stefan Dombrowski <stefan@uni-bonn.de> | 2010-09-05 00:04:04 +0200 |
commit | c99347bf9108367c02dcbdebadec0b978a750c57 (patch) | |
tree | 7ec1dd12fc93098a7ee62b2610ed7ddcf72dc2a2 /docs/clientupdates.txt | |
parent | 49452a005f4273b3ec91470883f308690e2269ac (diff) | |
download | mana-c99347bf9108367c02dcbdebadec0b978a750c57.tar.gz mana-c99347bf9108367c02dcbdebadec0b978a750c57.tar.bz2 mana-c99347bf9108367c02dcbdebadec0b978a750c57.tar.xz mana-c99347bf9108367c02dcbdebadec0b978a750c57.zip |
Fixing segmentation fault if server is given on command line
If server and port was given on the command line, then the server type
was unknown. The command line options do work now, but only if standard
ports 6901 and 9601 are used.
This resolves http://bugs.manasource.org/view.php?id=177
TODO: Query the server about itself and choose the server type based on that.
Reviewed-by: Jaxad0127
Diffstat (limited to 'docs/clientupdates.txt')
0 files changed, 0 insertions, 0 deletions