[galaxy-dev] Galaxy edit page content bugs

Using the cookie_path setting makes user lose his session when editing pages. For some reason, if you activate the cookie_path setting in universe_wsgi.ini, the simple fact of opening the page editor (via the /page/edit_content URL) adds a new record to the galaxy_session database table, with a null user id. Therefore the previous valid session is lost and the user is asked to login again, no matter what his next action is. Someone can give me some help to resolve the problem, please ? Felix.