Fix port sharing permissions reverting to private
Author: josharian Channel: #feedback Link: https://discord.com/channels/1405685085923049482/1405686161791516873/1485636855750725764
Issue
Ports shared via ssh exe.dev share port are reverting to private status, requiring manual intervention to set them public again.
Context
User reported that when serving an application on a shared port and sending access to others, the port repeatedly gets blocked/reverts to private status. They had to repeatedly run:
ssh exe.dev share port [name] 7681
ssh exe.dev share set-public [name]
This appears to be a bug in the port sharing system where the public/private state is not being persisted correctly.
Status
Acknowledged by @josharian as a potential bug requiring investigation.
discord-bug
1 Comment
OK, my mistake for not understanding this better earlier.
We only allow one port to be marked public at a time.
What's going on is that when one port got marked public, the other became private. Marking that one public made the first one private again.
There are a variety of workarounds available: