Ken Hibino 9c95c41651 Change Server API ...

* Rename ServerStatus to ServerState internally

* Rename terminate to shutdown internally

* Update Scheduler API to match Server API

2021-06-29 16:34:21 -07:00

875 B

Raw Blame History

View Raw