Page 1 of 1

Online shell

Posted: 14 Apr 2022, 17:19
by theo
Hi! I'm working with a group that has been using the online "polymake in a box", and it's been down for a while now -- there's a "bad gateway" error whenever we try to pull it up. Is there hope to get this back up and running soon / or some other way to use the online interface? Thanks in advance for your help.

Re: Online shell

Posted: 14 Apr 2022, 17:38
by blorenz
Hi,

sorry about that downtime. It should be working again and I will improve the monitoring that didn't catch it being down, all processes were running but one somehow stopped responding to new requests.
I will also check if I can update it to polymake 4.6 soon.

Benjamin

Re: Online shell

Posted: 14 Apr 2022, 17:47
by theo
Thanks so much!!!