Merge remote-tracking branch 'upstream/dev' into dev
This commit is contained in:
commit
3b1f5480a4
|
@ -76,6 +76,7 @@ private object HttpBroadcast extends Logging {
|
|||
def stop() {
|
||||
if (server != null) {
|
||||
server.stop()
|
||||
server = null
|
||||
}
|
||||
}
|
||||
|
||||
|
|
Loading…
Reference in a new issue