Jan Groß 36344fb2cb Poll while fetching remote sources to avoid timeout ...

If we don't respond to pings for too long, Jose considers us dead.
That becomes a problem when fetching large resources or from a slow remote

2023-08-07 17:29:36 +02:00

..

JobServer.gd

Cleanup file and folder structure

2023-08-07 10:38:53 +02:00

Main.gd

Cleanup file and folder structure

2023-08-07 10:38:53 +02:00

RemoteLoader.gd

Poll while fetching remote sources to avoid timeout

2023-08-07 17:29:36 +02:00

Renderer.gd

Cleanup file and folder structure

2023-08-07 10:38:53 +02:00