search

wolverine2k / crunchy

Automatically exported from code.google.com/p/crunchy
0 stars 0 forks source link

Need Borg Groups rather than unique Borg #76

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
Normally, clicking on a new page ends appears to end the current
interpreter threads running on the "old" page, so that any Borg interpreter
initialized on the new page starts with a clean slate.  An exception to
that occurs when a user "ctrl-click" to open a new page/tab, keeping the
old one alive.  A situation similar to that could occur in a classroom
situation where many students might be accessing the same html page from a
single Crunchy running instance.

The solution is to have "Borg Groups" identified by the pageid - unique for
a given page in a given session.

Original issue reported on code.google.com by andre.ro...@gmail.com on 30 Dec 2007 at 9:32

GoogleCodeExporter commented 8 years ago 
Fixed - revision 533.

Original comment by andre.ro...@gmail.com on 30 Dec 2007 at 10:43

GoogleCodeExporter commented 8 years ago

Original comment by andre.ro...@gmail.com on 30 Dec 2007 at 10:43