<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"> 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"> </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. 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án<br>
</body>
</html>