StarExec
Would you like to react to this message? Create an account in a few clicks or log in to continue.
StarExec

This is a forum for discussing the StarExec solver execution service, at starexec.org.


Registration broken?

2 posters

StarExec :: Bug Reports

Go down

Registration broken? Empty Registration broken?

Post by j.waldmann Mon May 26, 2014 9:03 am


j.waldmann

Posts : 84
Join date : 2014-04-26

Back to top Go down

Registration broken? Empty Re: Registration broken?

Post by Admin Mon May 26, 2014 12:52 pm

Just confirming that yes, this link seems to be broken. I do not know why. There was a short network outage over the weekend but I do not see how this could be the source of the problem. I will investigate and hopefully get this back by tomorrow (it is a holiday today and IT support may not be available until tomorrow except for emergencies).
Aaron

Admin
Admin

Posts : 162
Join date : 2014-04-22

http://www.cs.uiowa.edu/~astump/

Back to top Go down

Registration broken? Empty Re: Registration broken?

Post by Admin Mon May 26, 2014 8:03 pm

The registration link is working again.
Aaron

Admin
Admin

Posts : 162
Join date : 2014-04-22

http://www.cs.uiowa.edu/~astump/

Back to top Go down

Registration broken? Empty Re: Registration broken?

Post by Sponsored content


Sponsored content


Back to top Go down

Back to top

- Similar topics

StarExec :: Bug Reports

 
Permissions in this forum:
You cannot reply to topics in this forum