)]}'
{
  "id": "06bdd78c15be446f44c6259c18b7414318237bd9",
  "repo": "ease/org.eclipse.ease.scripts",
  "revision": "371e1e69d0c2d855e7cb8daaed6af7820e9d0489",
  "path": "JavaScript Snippets/Launch Module Examples/03 terminate server when client terminates.js"
}