Terminals served to term.js using Tornado websockets
