Merge remote branch 'upstream/jetty'

This commit is contained in:
Mike Primm 2012-01-11 20:45:31 -06:00
commit 9c49054c89
20 changed files with 1182 additions and 1118 deletions

View file

@ -526,4 +526,7 @@ public class DynmapWorld {
public World getWorld() {
return world;
}
public boolean isLoaded() {
return (world != null);
}
}