diff options
author | iNPUTmice <daniel@gultsch.de> | 2014-10-21 20:13:06 +0200 |
---|---|---|
committer | iNPUTmice <daniel@gultsch.de> | 2014-10-21 20:13:06 +0200 |
commit | 63704b114c858e45cbbd765e713f6fea76fd1595 (patch) | |
tree | 85a01da378042aea9229dc3f69eb10de900d0d41 /project.properties | |
parent | 3821a726440eb880164d1cc2d61ce3a7715f0ddb (diff) |
throw exception when no servers are left to try
Diffstat (limited to 'project.properties')
0 files changed, 0 insertions, 0 deletions