32333435363738394041424344
if (routes.size() > 0) { if (Web.rs_map.size() != oldCount) { oldCount = Web.rs_map.size(); update(); } Route route = routes.poll(); if (route.execute()) { if (!route.finished()) { routes.addFirst(route); } return true; } else { return false;