PRT was open a long time and got it warning it was going to be closed in 1 minute, but I could click “leave later” which I clicked. Still within a minute the session was closed and lost my work. 1 minute is too short for notice! if “leave later” doesn’t work, then it should not be in there. A save and restart was not a problem but I deemed it not necessary because of that option.