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,,