From 2bd8033e4a787897b87147f60c87be6e06754db4 Mon Sep 17 00:00:00 2001 From: Matti Tahvonen Date: Fri, 30 Oct 2009 13:26:53 +0000 Subject: [PATCH] merged [9513] from 6.1 svn changeset:9514/svn branch:6.2 --- src/com/vaadin/terminal/gwt/server/CommunicationManager.java | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/com/vaadin/terminal/gwt/server/CommunicationManager.java b/src/com/vaadin/terminal/gwt/server/CommunicationManager.java index 4238aab019..c96b2b60b8 100644 --- a/src/com/vaadin/terminal/gwt/server/CommunicationManager.java +++ b/src/com/vaadin/terminal/gwt/server/CommunicationManager.java @@ -33,6 +33,7 @@ import java.util.LinkedList; import java.util.List; import java.util.Locale; import java.util.Map; +import java.util.Random; import java.util.Set; import javax.servlet.ServletException; @@ -368,7 +369,7 @@ public class CommunicationManager implements Paintable.RepaintRequestListener, String seckey = (String) request.getSession().getAttribute( ApplicationConnection.UIDL_SECURITY_TOKEN_ID); if (seckey == null) { - seckey = "" + (int) (Math.random() * 1000000); + seckey = "" + new Random().nextInt(1000000); request.getSession().setAttribute( ApplicationConnection.UIDL_SECURITY_TOKEN_ID, seckey); } @@ -1153,7 +1154,7 @@ public class CommunicationManager implements Paintable.RepaintRequestListener, String newWindowName = window.getName(); while (currentlyOpenWindowsInClient.containsKey(newWindowName)) { newWindowName = window.getName() + "_" - + ((int) (Math.random() * 100000000)); + + new Random().nextInt(100000000); } window = application.getWindow(newWindowName); -- 2.39.5