A bit update on register and unregister flow, now unregister on the optimizer service side will be calling onComplete() on the StreamObserver, plugin will treat that as Unregistered. This temporally solve the problem of no way of telling whether plugin is registered on its initial registration request by closing on StreamObserver. This also apply to the plugin side.
New UI using tornadofx for the registered simulation list with its control
New UI for modifying the bound of input symbols
New UI for basic problem finding system, however, issues is only for display and not yet blocking a start
Kind of adding the pause. currently lacking of a transition state making this less prefect, but it will do the job. Stop during a pause will still stop.
Result update on timeout are no longer waiting on cancel finished, but the whole evaluation loop still does. This means a time out will update result immediately but the next run will only start until the cancel returned. There is no more TimeOut Failure result for user in result.
This is a PR for #10
onComplete()on the StreamObserver, plugin will treat that as Unregistered. This temporally solve the problem of no way of telling whether plugin is registered on its initial registration request by closing on StreamObserver. This also apply to the plugin side.