From: Artur Signell <artur@vaadin.com>
Date: Mon, 1 Oct 2012 20:37:05 +0000 (+0300)
Subject: Made GlobalResourceHandler serializable (#9817)
X-Git-Tag: 7.0.0.beta3~2^2
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=refs%2Fchanges%2F30%2F30%2F1;p=vaadin-framework.git

Made GlobalResourceHandler serializable (#9817)

Change-Id: Iae2ac641275a7f16b0bde2184c3f42f9f059f890
---

diff --git a/server/src/com/vaadin/server/GlobalResourceHandler.java b/server/src/com/vaadin/server/GlobalResourceHandler.java
index c968dba066..ad276dc77a 100644
--- a/server/src/com/vaadin/server/GlobalResourceHandler.java
+++ b/server/src/com/vaadin/server/GlobalResourceHandler.java
@@ -59,7 +59,7 @@ public class GlobalResourceHandler implements RequestHandler {
     private int nextLegacyId = 0;
 
     // APP/global/[uiid]/[type]/[id]
-    private final Matcher matcher = Pattern.compile(
+    private static final Matcher matcher = Pattern.compile(
             "^/?" + ApplicationConstants.APP_REQUEST_PATH
                     + RESOURCE_REQUEST_PATH + "(\\d+)/(([^/]+)(/.*))").matcher(
             "");