Online shell

Questions and problems about using polymake go here.
theo
Posts: 4
Joined: 11 Feb 2022, 22:07

Online shell

Postby theo » 14 Apr 2022, 17:19

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.

blorenz
Developer
Posts: 138
Joined: 10 Jan 2011, 17:21

Re: Online shell

Postby blorenz » 14 Apr 2022, 17:38

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

theo
Posts: 4
Joined: 11 Feb 2022, 22:07

Re: Online shell

Postby theo » 14 Apr 2022, 17:47

Thanks so much!!!


Return to “Helpdesk”