2006-Scape/Parabot
1
0
Fork 0
mirror of https://github.com/2006-Scape/Parabot.git synced 2026-07-04 08:39:23 +00:00
Code Issues 2 Packages Projects Releases 3 Wiki Activity

[BUGFIX] Keep Tools menu

Browse Source 
Related to issue #183.
This commit is contained in:
Emma Stone
2017-02-15 22:22:05 +00:00
parent cd3e753146
commit 3b2d544310
3 changed files with 49 additions and 31 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/main/java/org/parabot/environment/servers/executers/ServerExecuter.java
+20 -23
View File
@@ -1,39 +1,36 @@
package org.parabot.environment.servers.executers;
import org.parabot.core.Context;
import org.parabot.core.Core;
import org.parabot.core.parsers.randoms.RandomParser;
import org.parabot.core.ui.BotUI;
import org.parabot.core.ui.components.PaintComponent;
import org.parabot.environment.servers.ServerProvider;
import java.io.PrintStream;
/**
*
* Executes a server provider
*
* @author Everel
*
* @author Everel
*/
public abstract class ServerExecuter {
public abstract void run();
public abstract void run();
public void finalize(final ServerProvider provider, final String serverName) {
new Thread(new Runnable() {
@Override
public void run() {
try {
Context context = Context.getInstance(provider);
context.load();
PaintComponent.getInstance().startPainting(context);
public void finalize(final ServerProvider provider, final String serverName) {
new Thread(new Runnable() {
@Override
public void run() {
try {
BotUI.getInstance().getCacheClear().setEnabled(false);
Context.getInstance().getRandomHandler().init();
} catch (Throwable t) {
t.printStackTrace();
}
}
}).start();
}
Context context = Context.getInstance(provider);
context.load();
PaintComponent.getInstance().startPainting(context);
Context.getInstance().getRandomHandler().init();
} catch (Throwable t) {
t.printStackTrace();
}
}
}).start();
}
}