Mirror of forum.nim-lang.org

9435 :: Nim playground inaccessible

[2022-09-04T13:30:07+02:00]

dlesnoff (orginal) [2022-09-04T13:30:07+02:00] view original

I tried to access play.nim-lang.org, but could not reach the website. Is there a maintenance going on ?

PMunch (orginal) [2022-09-04T21:15:42+02:00] view original

The VPS it runs on is a bit underpowered, and Docker is making a mess, so sometimes it simply dies of resource starvation. I've rebooted it now, that tends to clean things out and get it running again.

dlesnoff (orginal) [2022-09-05T21:15:37+02:00] view original

Thank you for the reboot ! Sorry in advance for the salve of question coming next ;)

Next time, may I mp/ping you directly on Discord server ?

Does it happens often ? Is it worth to find an alternative solution ? Do you think Docker could be replaced by a more adapted container? Is it better to improve the VPS ?

PMunch (orginal) [2022-09-06T15:37:05+02:00] view original

Yeah most people just ping me on Discord. Happens every couple months I'd say. Replacing docker would mean rewriting quite a bit of the logic, certainly doable, but not something I have the time for. Improving the VPS is by far the easiest solution (at least in the short term), it's quite underpowered for what it is doing.