Comparison

util/argparse.lua @ 12878:0d8bf401fa73 0.12

core.sessionmanager: Mark session as destroyed to prevent reentry If it reaches this point, then the session will be most definitely be destroyed, so try to prevent destroy_session() from being called again.
author Kim Alvefur <zash@zash.se>
date Thu, 19 Jan 2023 21:40:09 +0100
parent 12477:cc84682b8429
child 13058:766152afc1c9
comparison
equal deleted inserted replaced
12877:f6cca7cbf3b2 12878:0d8bf401fa73