Closed viper-admin closed 4 years ago
Pull request :twisted_rightwards_arrows: created by bitbucket user rukaelin on 2017-05-04 07:15 Last updated on 2017-05-04 07:20 Original Bitbucket pull request id: 2 Participants: @aterga (reviewer) Source: https://github.com/viperproject/viperserver/commit/9acb8d19776ea25a92737e99e9eeee5fcbe033e3 on branch rukaelin/viperserver_for_ide/default Destination: https://github.com/viperproject/viperserver/commit/f1dadddadc6e190c91c1997ca45784e3a52fab55 on branch master Marge commit: https://github.com/viperproject/viperserver/commit/9acb8d19776ea25a92737e99e9eeee5fcbe033e3 State: MERGED
Pull request :twisted_rightwards_arrows: created by bitbucket user rukaelin on 2017-05-04 07:15 Last updated on 2017-05-04 07:20 Original Bitbucket pull request id: 2
Participants:
Source: https://github.com/viperproject/viperserver/commit/9acb8d19776ea25a92737e99e9eeee5fcbe033e3 on branch rukaelin/viperserver_for_ide/default Destination: https://github.com/viperproject/viperserver/commit/f1dadddadc6e190c91c1997ca45784e3a52fab55 on branch master Marge commit: https://github.com/viperproject/viperserver/commit/9acb8d19776ea25a92737e99e9eeee5fcbe033e3
rukaelin/viperserver_for_ide/default
master
State: MERGED
MERGED
improved the stability of the ViperServer improved the shutdown behaviour. added support for sbt stage
improved the stability of the ViperServer improved the shutdown behaviour. added support for sbt stage