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 /build.xml | |
| parent | 3821a726440eb880164d1cc2d61ce3a7715f0ddb (diff) | |
throw exception when no servers are left to try
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions