The documentation points to sage functions allowing to install a new spkg or to upgrade it, whicj explicitely states that such installation is possible.
However, the same doc also states that sage "must be restarted for the changes to take effect. What is not clear is what happens when you install a new spkg on a *server*. Is it enough to log out of the server and log in again, or should to restart the server process ? And, oh, by the way : when one starts a server on a Linux machine, PS shows four processes responsible for the server. Is it sufficient to kill -INT the last (topmost) one, or should you always kill all the processes ? Emmanuel Charpentier -- You received this message because you are subscribed to the Google Groups "sage-support" group. To post to this group, send email to sage-support@googlegroups.com. To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support?hl=en.
