2019-01-05 16:21:07 +11:00
|
|
|
From 9904d1191d28d26c7cefa1dc007abc2617940697 Mon Sep 17 00:00:00 2001
|
2015-07-13 19:12:24 +10:00
|
|
|
From: md_5 <git@md-5.net>
|
|
|
|
Date: Mon, 13 Jul 2015 19:10:15 +1000
|
|
|
|
Subject: [PATCH] Add restart API.
|
|
|
|
|
|
|
|
|
|
|
|
diff --git a/src/main/java/org/bukkit/Server.java b/src/main/java/org/bukkit/Server.java
|
2018-11-10 20:46:28 +11:00
|
|
|
index 3318ba9d..63392d5e 100644
|
2015-07-13 19:12:24 +10:00
|
|
|
--- a/src/main/java/org/bukkit/Server.java
|
|
|
|
+++ b/src/main/java/org/bukkit/Server.java
|
2018-11-10 20:46:28 +11:00
|
|
|
@@ -1173,6 +1173,13 @@ public interface Server extends PluginMessageRecipient {
|
2015-07-13 19:12:24 +10:00
|
|
|
public void broadcast(net.md_5.bungee.api.chat.BaseComponent... components) {
|
|
|
|
throw new UnsupportedOperationException("Not supported yet.");
|
|
|
|
}
|
|
|
|
+
|
|
|
|
+ /**
|
|
|
|
+ * Restart the server. If the server administrator has not configured restarting, the server will stop.
|
|
|
|
+ */
|
|
|
|
+ public void restart() {
|
|
|
|
+ throw new UnsupportedOperationException("Not supported yet.");
|
|
|
|
+ }
|
|
|
|
}
|
|
|
|
|
|
|
|
Spigot spigot();
|
|
|
|
--
|
2018-11-14 14:20:34 +11:00
|
|
|
2.19.1
|
2015-07-13 19:12:24 +10:00
|
|
|
|