id summary reporter owner description type status priority milestone component resolution keywords cc 23 remove unused files on session end Antoine Martin Antoine Martin "When a session terminates, we should clean up a few things:[[BR]] * pid file (on client)[[BR]] * password file (both) - can also remove this one when the client is no longer actor [[BR]] * icon file (both)[[BR]] * session file - eventually? (both) [[BR]] * ..." enhancement closed minor 0.8 Client fixed