Syncing of server files

[robinp7720]

Sync server files between multiple servers. Useful for development when you want to push new plugins and settings to a production server or when you want to download the most recent world from the production server.

[robinp7720]

This may better be left to a dedicated syncing application such as syncthing