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.


(severe bug) solver upload impossible

2 posters

StarExec :: Bug Reports

Go down

(severe bug) solver upload impossible Empty (severe bug) solver upload impossible

Post by hzankl Fri Jul 04, 2014 8:10 am

Hi,

Currently StarExec does not allow solver upload. The error message is:
http 500 - internal server error

Edit: I managed via starexeccommand!

Hope you can (still) enjoy independence day, Harald.

hzankl

Posts : 19
Join date : 2014-05-14

Back to top Go down

(severe bug) solver upload impossible Empty Re: (severe bug) solver upload impossible

Post by Admin Fri Jul 04, 2014 10:02 am

I am sorry about this serious bug. For now, others should do as you suggest and use starexeccommand. As it is a holiday here today, it will not be so easy to fix this problem until Monday...
Aaron

Admin
Admin

Posts : 162
Join date : 2014-04-22

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

Back to top Go down

(severe bug) solver upload impossible Empty Re: (severe bug) solver upload impossible

Post by Admin Sat Jul 05, 2014 9:07 am

This should be corrected now, so please try again via the web interface.
Aaron

Admin
Admin

Posts : 162
Join date : 2014-04-22

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

Back to top Go down

(severe bug) solver upload impossible Empty Re: (severe bug) solver upload impossible

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