Start the server, if not already started
Start the server, if not already started
A callback to start the server, that returns a closeable to stop it
Stop the server started by the last start request, if such a server exists
Enables and disables console echo (or does nothing if no console).
Enables and disables console echo (or does nothing if no console). This ensures console echo is enabled on exception thrown in the given code block.
This is our means of blocking a play run call until
the user has denoted, via some interface (console or GUI) that
play should no longer be running.
This is our means of blocking a play run call until
the user has denoted, via some interface (console or GUI) that
play should no longer be running.
Marker trait to signify a non blocking interaction mode.
This is provided, rather than adding a new flag to PlayInteractionMode, to preserve binary compatibility.