From bc03176224569a845b900e9283093fc387daf337 Mon Sep 17 00:00:00 2001 From: Lachlan Date: Tue, 28 May 2024 11:54:59 +1000 Subject: [PATCH] Issue #11745 - fix the environment var for the GAE Instance in id-manager.xml (#11797) * Issue #11745 - fix the environment var for the GAE Instance in id-manager.xml Signed-off-by: Lachlan Roberts --- .../main/asciidoc/operations-guide/sessions/session-base.adoc | 2 +- .../jetty-server/src/main/config/etc/sessions/id-manager.xml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/documentation/jetty-documentation/src/main/asciidoc/operations-guide/sessions/session-base.adoc b/documentation/jetty-documentation/src/main/asciidoc/operations-guide/sessions/session-base.adoc index 7e4e0f4515c1..499f1e4fea60 100644 --- a/documentation/jetty-documentation/src/main/asciidoc/operations-guide/sessions/session-base.adoc +++ b/documentation/jetty-documentation/src/main/asciidoc/operations-guide/sessions/session-base.adoc @@ -31,7 +31,7 @@ This uniquely identifies the jetty server instance and is applied to the `Sessio You can either provide a value for this property, or you can allow Jetty to try and synthesize a `workerName` - the latter option is _only_ advisable in the case of a single, non-clustered deployment. There are two ways a default `workerName` can be synthesized: -* if running on Google AppEngine, the `workerName` will be formed by concatenating the values of the environment variables `JETTY_WORKER_INSTANCE` and `GAE_MODULE_INSTANCE` +* if running on Google AppEngine, the `workerName` will be formed by concatenating the values of the environment variables `JETTY_WORKER_INSTANCE` and `GAE_INSTANCE` * otherwise, the `workerName` will be formed by concatenating the environment variable `JETTY_WORKER_INSTANCE` and the literal `0`. So, if you're not running on Google AppEngine, and you haven't configured one, the workerName will always be: `node0`. diff --git a/jetty-core/jetty-server/src/main/config/etc/sessions/id-manager.xml b/jetty-core/jetty-server/src/main/config/etc/sessions/id-manager.xml index 0cac625436c8..96536f0dada5 100644 --- a/jetty-core/jetty-server/src/main/config/etc/sessions/id-manager.xml +++ b/jetty-core/jetty-server/src/main/config/etc/sessions/id-manager.xml @@ -15,7 +15,7 @@ node - + 0