[webdsl/webdsl] 875c82: Add support for `invoke <exp> on application stop`...

[Elmer van Chastelet]

Branch: refs/heads/master
Home: https://github.com/webdsl/webdsl
Commit: 875c82d272feaff587424b3a7317545ea0671c5d
https://github.com/webdsl/webdsl/commit/875c82d272feaff587424b3a7317545ea0671c5d
Author: Elmer van Chastelet <e.vanch...@tudelft.nl>
Date: 2025-10-08 (Wed, 08 Oct 2025)

Changed paths:
M src/org/webdsl/dsl/syntax/WebDSL-TimeInterval.sdf
M src/org/webdsl/dsl/syntax/WebDSL-pretty.pp
M src/org/webdsl/dsl/to-java-servlet/dispatch-servlet.str
M src/org/webdsl/dsl/to-java-servlet/types/timeinterval.str

Log Message:
-----------
Add support for `invoke <exp> on application stop` which runs on servlet destroy



To unsubscribe from these emails, change your notification settings at https://github.com/webdsl/webdsl/settings/notifications