<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Jul 8, 2014 at 3:26 PM, William Stein <span dir="ltr"><<a href="mailto:wstein@gmail.com" target="_blank">wstein@gmail.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div id=":z5" class="" style="overflow:hidden">What about term.js?  It's MIT licensed (partly due to me asking<br>


nicely), and is what many online IDE projects (including<br>
SageMathCloud) use:<br>
<br>
   <a href="https://github.com/chjj/term.js/" target="_blank">https://github.com/chjj/term.js/</a></div></blockquote><div><br></div><div class="gmail_extra">Thanks, that's the link I had in mind!!</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">

<div id=":z5" class="" style="overflow:hidden">
Maybe it isn't an option for you because the backend is Node.js<br>
instead of Python.  I just wanted to double check, just in case.</div></blockquote></div><br>Not a problem at all. We're thinking of this for the multiuser server, which has a Node component as well, so it's perfect.</div>

<div class="gmail_extra"><br></div><div class="gmail_extra">We might take you up on your 'pile of code' offer later, but we'll let you know if we have the bandwidth for it. To start with, we'll probably be OK with the plain vanilla code as-is.</div>

<div class="gmail_extra"><br></div><div class="gmail_extra">Thanks again!</div><div class="gmail_extra"><br></div><div class="gmail_extra">f<br><br clear="all"><div><br></div>-- <br>Fernando Perez (@fperez_org; <a href="http://fperez.org" target="_blank">http://fperez.org</a>)<br>

fperez.net-at-gmail: mailing lists only (I ignore this when swamped!)<br>fernando.perez-at-berkeley: contact me here for any direct mail<br>
</div></div>