mgedmin / mgedmin/restview

commandline option to exit restview if webbrowser doesn't poll anymore

Open
#43 3 comments 0 reactions 0 assignees View on GitHub
enhancement help-needed
Dominant language
Python
Stars
224
Forks
36
PR merge metrics
No merged PRs in 30d

Description

AFAICT the webpage that `restview` generates polls back for changes using JavaScript. It would be
useful to have a commandline-option/config-option/environmentvariable where you could specify
an amount X, so that if there was no polling for X seconds restview would exit. That way closing the
browser window is enough to stop the `restview` process.

I could take a shot at a PR if this is deemed useful.

Contributor guide

No contributing guide indexed for this repository

Research direction

Start by tracing the restview command-line entry point and the generated webpage's JavaScript polling behavior. Done means an option, configuration setting, or environment variable can specify an inactivity interval and restview exits after that interval without polling.

Written by the indexing model from the issue text.

Assessment

Tech stack
python
Domain
cli, web-dev
Issue type
Feature
Difficulty
3/5
Estimated time
1-2 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
42/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.