[webdsl/webdsl] 6de7be: Add `DispatchServletHelper.getRequestServerName()`...

[Elmer van Chastelet]

Branch: refs/heads/master
Home: https://github.com/webdsl/webdsl
Commit: 6de7beddc321af0162c6d57f680de5602639ad7f
https://github.com/webdsl/webdsl/commit/6de7beddc321af0162c6d57f680de5602639ad7f
Author: Elmer van Chastelet <e.vanch...@tudelft.nl>
Date: 2025-11-19 (Wed, 19 Nov 2025)

Changed paths:
M java-runtime/src/utils/AbstractDispatchServletHelper.java
M src/org/webdsl/dsl/project/template-webdsl/built-in.app
M src/org/webdsl/dsl/to-java-servlet/dispatch-helper.str

Log Message:
-----------
Add `DispatchServletHelper.getRequestServerName()` and use it to obtain the domain name


Commit: 818a3a80641acc575276643eff4fb0b9c5b870f0
https://github.com/webdsl/webdsl/commit/818a3a80641acc575276643eff4fb0b9c5b870f0
Author: Elmer van Chastelet <e.vanch...@tudelft.nl>
Date: 2025-11-19 (Wed, 19 Nov 2025)

Changed paths:
M src/org/webdsl/dsl/to-java-servlet/dispatch-helper.str

Log Message:
-----------
in `setCookie`, do not add `Secure` to the `WEBDSLSESSIONID` cookie for request URLs on localhost (ip)


Compare: https://github.com/webdsl/webdsl/compare/875c82d272fe...818a3a80641a

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