Thanks for the info. Were both of you using flootty? The web integration as actually better, since we use a JS PTY which lets us control the output much more

Thanks for the info. Were both of you using flootty? The web integration as actually better, since we use a JS PTY which lets us control the output much more easily than just shoving data into stdout.