From 56f58d646a0213c1488d6b6c34d7b4e29a49cf78 Mon Sep 17 00:00:00 2001
From: Bukkit/Spigot <noreply+git-bukkit@papermc.io>
Date: Fri, 25 Feb 2011 21:32:25 -0500
Subject: [PATCH] Add World.save() and Server.savePlayers();

By: Morgan Humes <mrh9724@lanaddict.com>
---
 paper-api/src/main/java/org/bukkit/Server.java | 5 +++++
 paper-api/src/main/java/org/bukkit/World.java  | 5 +++++
 2 files changed, 10 insertions(+)

diff --git a/paper-api/src/main/java/org/bukkit/Server.java b/paper-api/src/main/java/org/bukkit/Server.java
index 6b187af45..8e11635e0 100644
--- a/paper-api/src/main/java/org/bukkit/Server.java
+++ b/paper-api/src/main/java/org/bukkit/Server.java
@@ -130,4 +130,9 @@ public interface Server {
      * @return PluginCommand if found, otherwise null
      */
     public PluginCommand getPluginCommand(String name);
+
+    /**
+     * Writes loaded players to disk
+     */
+    public void savePlayers();
 }
diff --git a/paper-api/src/main/java/org/bukkit/World.java b/paper-api/src/main/java/org/bukkit/World.java
index 04810f3d4..1e967b8cb 100644
--- a/paper-api/src/main/java/org/bukkit/World.java
+++ b/paper-api/src/main/java/org/bukkit/World.java
@@ -405,4 +405,9 @@ public interface World {
          */
         NETHER
     }
+
+    /**
+     * Saves world to disk
+     */
+    public void save();
 }