diff options
author | Eike Stepper | 2013-10-02 10:16:43 +0000 |
---|---|---|
committer | Eike Stepper | 2013-10-02 10:16:43 +0000 |
commit | d3da759d2562356b342d854c22b704ef517ee51e (patch) | |
tree | 5cbaed9c0f7e00ad15d8753a5d9f204c841e5662 /plugins/org.eclipse.emf.cdo.server/src/org/eclipse/emf/cdo/internal/server/Session.java | |
parent | 596ce42d6fe3d648f771b7a27b3af5f828f25a2a (diff) | |
download | cdo-d3da759d2562356b342d854c22b704ef517ee51e.tar.gz cdo-d3da759d2562356b342d854c22b704ef517ee51e.tar.xz cdo-d3da759d2562356b342d854c22b704ef517ee51e.zip |
[418267] [Security] Cached permissions are not always properly updated
after commits
https://bugs.eclipse.org/bugs/show_bug.cgi?id=418267
Diffstat (limited to 'plugins/org.eclipse.emf.cdo.server/src/org/eclipse/emf/cdo/internal/server/Session.java')
-rw-r--r-- | plugins/org.eclipse.emf.cdo.server/src/org/eclipse/emf/cdo/internal/server/Session.java | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/plugins/org.eclipse.emf.cdo.server/src/org/eclipse/emf/cdo/internal/server/Session.java b/plugins/org.eclipse.emf.cdo.server/src/org/eclipse/emf/cdo/internal/server/Session.java index a0e1968f32..0143be5079 100644 --- a/plugins/org.eclipse.emf.cdo.server/src/org/eclipse/emf/cdo/internal/server/Session.java +++ b/plugins/org.eclipse.emf.cdo.server/src/org/eclipse/emf/cdo/internal/server/Session.java @@ -527,7 +527,13 @@ public class Session extends Container<IView> implements InternalSession @Override public String toString() { - return MessageFormat.format("Session[{0}]", sessionID); //$NON-NLS-1$ + String name = manager.getRepository().getName(); + if (userID != null && userID.length() != 0) + { + name = userID + "@" + name; + } + + return MessageFormat.format("Session{0} [{1}]", sessionID, name); //$NON-NLS-1$ } /** |