search

gitpod-io / gitpod

The developer platform for on-demand cloud development environments to create software faster and more securely.
https://www.gitpod.io
GNU Affero General Public License v3.0
12.75k stars 1.22k forks source link

Fix Unsharing Workspace #164

Open Sandared opened 5 years ago

Sandared commented 5 years ago

Describe the bug When I share a running workspace with a colleague and then stop the sharing he still is able to write to my workspace until he refreshes the window. He is not actively kicked from my workspace as I would have expected

To Reproduce

Expected behavior I would have the other user expected to be kicked from my workspace. At least he should not be able to change the content any more after I unshared the workspace.

stale[bot] commented 3 years ago

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

stale[bot] commented 3 years ago

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

gtsiolis commented 2 years ago

Re-opening as this is still relevant. 📖 Cc @loujaybee @jldec

See also https://github.com/gitpod-io/gitpod/issues/1125, https://github.com/gitpod-io/gitpod/issues/1127, and relevant discussion (internal). Cc @akosyakov