)]}'
{
  "id": "3bd5b58b25af1136c6f86c52a4c2e2fc144b11a3",
  "repo": "mojo-tools",
  "revision": "fbdd0bcc2395d5be6aaf8a1a7b2f1a85ce52bfd2",
  "path": "net/data/websocket/close-with-split-packet_wsh.py"
}