Compute clients should be robust towards the webserver terminating

diku-dk / futhark-playground

Futhark playground

http://playground.futhark-lang.org

GNU General Public License v3.0

8 stars 0 forks source link

Open athas opened 1 year ago

athas commented 1 year ago

Otherwise you have to restart all of them when you restart the webserver (it seems).