Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Restart server for API requests on mobile #92

Merged
merged 3 commits into from
Jun 11, 2020
Merged

Restart server for API requests on mobile #92

merged 3 commits into from
Jun 11, 2020

Commits on Jun 7, 2020

  1. Restart server for API requests on mobile 

    After a period of inactivity the background task for the server is
stopped on mobile.

To check the health status of the server a new API endpoint
'/api/health' was added. This endpoint is requested befor each request
to the server. If the status code is not OK, the server is started again
befor the original request is made.
    @ricoberger
    ricoberger committed Jun 7, 2020
    Configuration menu
    Copy the full SHA
    bfacb31 View commit details
    Browse the repository at this point in the history

  2. Prepare beta release 1.4.5

    @ricoberger
    ricoberger committed Jun 7, 2020
    Configuration menu
    Copy the full SHA
    6fb1e50 View commit details
    Browse the repository at this point in the history

Commits on Jun 11, 2020

  1. Merge branch 'master' into restart-server

    @ricoberger
    ricoberger committed Jun 11, 2020
    Configuration menu
    Copy the full SHA
    b2b309e View commit details
    Browse the repository at this point in the history