Code Editor : record-logout.pl