added system_info, deprecated seed

This commit is contained in:
gnembon committed 2020-10-12 23:01:44 -03:00
1 parent 6f0faf991a
commit 239aa9e143
7 files changed
+258 -11

No files matched your search

@@ -14,6 +14,7 @@ import java.util.List;
import java.util.Locale;
import java.util.Map;
import java.util.Random;
import java.util.Set;
import java.util.concurrent.ConcurrentHashMap;
import java.util.function.Predicate;
import java.util.stream.Stream;
@@ -331,6 +332,14 @@ public abstract class ScriptHost
perUser = isPerUser;
}
public boolean isPerUser() {return perUser;}
public Set<String> getUserList()
{
return userHosts.keySet();
}
public void resetErrorSnooper()
{
errorSnooper=null;