I think it must be customizable, and also its use should be checked for errors - if it does not exist anymore, it should be recreated... Public SageCell servers probably see enough traffic to keep it alive, but people with private servers are very likely to run into problems, e.g. when their students are sleeping or pub crawling, all at once ;-)
-- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/53ebd0ef-dd25-4324-b2fd-0b44a478c577n%40googlegroups.com.
