annotate plugins/mod_windows.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
parents 28a90f5fea46
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6003
28a90f5fea46 modulemanager: Always load a platform-specific module, add stub modules for Windows and unknown platforms
Kim Alvefur <zash@zash.se>
parents:
diff changeset
1 -- Windows platform stub
28a90f5fea46 modulemanager: Always load a platform-specific module, add stub modules for Windows and unknown platforms
Kim Alvefur <zash@zash.se>
parents:
diff changeset
2 module:set_global();
28a90f5fea46 modulemanager: Always load a platform-specific module, add stub modules for Windows and unknown platforms
Kim Alvefur <zash@zash.se>
parents:
diff changeset
3
28a90f5fea46 modulemanager: Always load a platform-specific module, add stub modules for Windows and unknown platforms
Kim Alvefur <zash@zash.se>
parents:
diff changeset
4 -- TODO Add Windows-specific things here