Build #2043 (Sep 18, 2018 4:30:06 PM)

1. org-ids/web-ide-issues#1215: Use graceful server to restart on a certain (detail / githubweb)

Started by an SCM change

• origin/master