2009/7/16 Matthias Clasen <matthias.clasen at gmail.com>: > And if there is no agent, that is simple a bug. I talked to David > earlier about making the session agent autorestart if it somehow gets > lost or crashes. Seems sensible. Richard.