Issue #11745 - fix the environment var for the GAE Instance in id-man…

…ager.xml

Signed-off-by: Lachlan Roberts <[email protected]>

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`.

jetty-core/jetty-server/src/main/config/etc/sessions/id-manager.xml

@@ -15,7 +15,7 @@
           <Property name="jetty.sessionIdManager.workerName">
             <Default>node<Env name="JETTY_WORKER_INSTANCE">
                            <Default>
-                             <Env name="GAE_MODULE_INSTANCE">
+                             <Env name="GAE_INSTANCE">
                                <Default>0</Default>
                              </Env>
                            </Default>