You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@@ -146,9 +148,19 @@ public NGComponent restorePageFromCache( final String contextID ) {
146
148
thrownewNGPageRestorationException( "No page found in the page cache for contextID '%s'. The page has probably been pushed out of the session's page cache".formatted( contextID ) );
147
149
}
148
150
151
+
cacheEntry.lock().lock();
149
152
returncacheEntry.page();
150
153
}
151
154
155
+
/**
156
+
* Release the lock on the context.
157
+
*
158
+
* FIXME: Locking in the page cache is still very experimental functionality. Needs testing // Hugi 2025-04-06
159
+
*/
160
+
publicvoidreleaseLock( finalStringcontextID ) {
161
+
_allEntries.get( contextID ).lock().unlock();
162
+
}
163
+
152
164
/**
153
165
* In the case of a full page update, moves the entry to the top of the page cache.
154
166
* In the case of a partial update, moves the parent entry to the top of the page cache.
0 commit comments