<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <br>
    <div class="moz-cite-prefix">On 11/07/2012 05:33 PM, Tom wrote:</div>
    <blockquote
cite="mid:CABdbsnC9Y8sYeQddnZ=MjDQdTvKdyVB23V9hCbh9Tu53cOXFMQ@mail.gmail.com"
      type="cite">
      <div><span style="font-family:arial,sans-serif;font-size:13px"><br>
        </span></div>
      <div><span style="font-family:arial,sans-serif;font-size:13px">"</span><span
          style="font-family:arial,sans-serif;font-size:13px">Could you
          flesh out a detailed description of how an autosave might
          work, ...</span><span
          style="font-family:arial,sans-serif;font-size:13px">&nbsp;It should
          describe, for instance:"</span></div>
      <div><span style="font-family:arial,sans-serif;font-size:13px"><br>
        </span></div>
      <div><font face="arial, sans-serif">It doesn't matter to me as
          long as user input is on disk somewhere, in some format.</font><font
          face="arial, sans-serif">&nbsp;</font><span
          style="font-family:arial,sans-serif;font-size:13px">For
          example, the server could simply log the text of all the cells
          that are sent for execution to a textual log file, even a
          single global log file. &nbsp;Recovery would then be a few minutes
          of cut-and-paste, but that beats starting from scratch.</span></div>
      <div><span style="font-family:arial,sans-serif;font-size:13px"><br>
        </span></div>
    </blockquote>
    So, would you like to have a snapshot of the kernel history, then?
    Because that could, perhaps, be handled in the kernel, and the
    frontend doesn't matter in that case... But the kernel history is
    already saved somewhere, if I am not mistaken. <br>
    Zolt&aacute;n<br>
  </body>
</html>