A simple plugin that adds /server to the backend, for use with other plugins.
The second (optional) argument has been changed to a multi-player selector, allowing for /server <server> @a, for example.
/server <server> @a