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