@ -75,6 +75,10 @@
</div>
<div id="shell"></div>
<div id="info"><div id="title"></div><div id="authors"></div></div>
<script src="pipeserver.js"></script>