Added delay after game-over to prevent SocketInUse error
This commit is contained in:
@@ -1,7 +1,7 @@
|
|||||||
#Autogenerated file. Do not modify.
|
#Autogenerated file. Do not modify.
|
||||||
#Sun Feb 11 17:04:14 EST 2018
|
#Sun Feb 11 19:23:12 EST 2018
|
||||||
version=beta
|
version=beta
|
||||||
androidBuildCode=172
|
androidBuildCode=173
|
||||||
name=Mindustry
|
name=Mindustry
|
||||||
code=3.3
|
code=3.3
|
||||||
build=custom build
|
build=custom build
|
||||||
|
|||||||
@@ -71,6 +71,8 @@ public class ServerControl extends Module {
|
|||||||
state.set(State.menu);
|
state.set(State.menu);
|
||||||
Net.closeServer();
|
Net.closeServer();
|
||||||
|
|
||||||
|
Timers.runTask(30f, () -> {
|
||||||
|
|
||||||
if (mode != ShuffleMode.off) {
|
if (mode != ShuffleMode.off) {
|
||||||
Array<Map> maps = mode == ShuffleMode.both ? world.maps().getAllMaps() :
|
Array<Map> maps = mode == ShuffleMode.both ? world.maps().getAllMaps() :
|
||||||
mode == ShuffleMode.normal ? world.maps().getDefaultMaps() : world.maps().getCustomMaps();
|
mode == ShuffleMode.normal ? world.maps().getDefaultMaps() : world.maps().getCustomMaps();
|
||||||
@@ -87,6 +89,7 @@ public class ServerControl extends Module {
|
|||||||
}
|
}
|
||||||
});
|
});
|
||||||
});
|
});
|
||||||
|
});
|
||||||
|
|
||||||
info("&lcServer loaded. Type &ly'help'&lc for help.");
|
info("&lcServer loaded. Type &ly'help'&lc for help.");
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user