Functions:

restart_server()

Restart the thredds server via the tomcat manager.

tds_control.tasks.restart_server()

Restart the thredds server via the tomcat manager.