leanprover-community / leanprover-community/lean4web
Collaborate on Firefox has issues
Open
Nobody has claimed this yet.
bug
- Dominant language
- TypeScript
- Stars
- 151
- Forks
- 62
- Avg merge
- 21h 12m
- Merged PRs (30d)
- 10
Description
WebRTC: ICE failed, add a TURN server and see about:webrtc for more details
Might be that this is only an issue if you have multiple browsers connecting from the same device. Openingn collaboration on Firefox from another device worked fine.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Reproduce collaboration in Firefox with multiple browsers on the same device, then inspect about:webrtc for the reported ICE failure. Compare the behavior with connections from another device; done means Firefox collaboration works reliably in the affected setup without an ICE failure.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- typescript
- Domain
- audio-video-rtc
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Quiet
- Clarity
- Needs clarification
- Newbie friendliness
- 38/100