can't upload a post-processor
2 posters
Page 1 of 1
can't upload a post-processor
I tried to upload a new post-processor, and got the following error:
http 500 - internal server error
Failed to add new benchmark type.
this error has been logged and will be reviewed by a developer and or administrator
I tried both a single-executable post-processor, and a tarred multiple-executable with default run script.
Got same error on both trials (for several attempts in the past few days).
Any tip or bug fix would be appreciated.
Thanks,
D
http 500 - internal server error
Failed to add new benchmark type.
this error has been logged and will be reviewed by a developer and or administrator
I tried both a single-executable post-processor, and a tarred multiple-executable with default run script.
Got same error on both trials (for several attempts in the past few days).
Any tip or bug fix would be appreciated.
Thanks,
D
df- Posts : 17
Join date : 2014-04-30
Re: can't upload a post-processor
> Problem persists
same (?) for Termination. My err msg is
> Failed to add new processor. Please ensure the archive is in the correct format,
> with a process script in the top level.
for reference, starexec revision 17785, and my upload was ceta-postproc.4.zip from
http://www.imn.htwk-leipzig.de/~waldmann/starexec/post/
- J.W.
same (?) for Termination. My err msg is
> Failed to add new processor. Please ensure the archive is in the correct format,
> with a process script in the top level.
for reference, starexec revision 17785, and my upload was ceta-postproc.4.zip from
http://www.imn.htwk-leipzig.de/~waldmann/starexec/post/
- J.W.
j.waldmann- Posts : 84
Join date : 2014-04-26
Re: can't upload a post-processor
Problem seems to be fixed now. (I could upload and run a fresh post-proc).
I guess the reason was http://starexec.wordpress.com/2014/06/14/we-have-filled-a-volume/
- J.
I guess the reason was http://starexec.wordpress.com/2014/06/14/we-have-filled-a-volume/
- J.
j.waldmann- Posts : 84
Join date : 2014-04-26
Re: can't upload a post-processor
I am still not able to upload a post-processor: it complains about the format.
Maybe there is a problem there, but I can't find it.
This is the content of the archived folder:
bin/
bin/starexec_run_default
bin/SyGuS_PostProcessor
and starexec_run_defatult is:
#!/bin/sh
./SyGuS_PostProcessor $1 $2
Is there something wrong here?
Thanks,
D
Maybe there is a problem there, but I can't find it.
This is the content of the archived folder:
bin/
bin/starexec_run_default
bin/SyGuS_PostProcessor
and starexec_run_defatult is:
#!/bin/sh
./SyGuS_PostProcessor $1 $2
Is there something wrong here?
Thanks,
D
df- Posts : 17
Join date : 2014-04-30
Re: can't upload a post-processor
> Is there something wrong here?
the top-level thing should be called "process". see the postproc that I mentioned above. - J.
the top-level thing should be called "process". see the postproc that I mentioned above. - J.
j.waldmann- Posts : 84
Join date : 2014-04-26
Re: can't upload a post-processor
Thanks, J. That was it.
(I was now able to upload and run a post-proc.)
(I was now able to upload and run a post-proc.)
df- Posts : 17
Join date : 2014-04-30
Similar topics
» Can't upload benchmarks together
» upload solver (by pulling from URL) seems broken
» Space XML upload error: name must have two characters
» Cannot upload new solvers
» How to upload pre-processors?
» upload solver (by pulling from URL) seems broken
» Space XML upload error: name must have two characters
» Cannot upload new solvers
» How to upload pre-processors?
Page 1 of 1
Permissions in this forum:
You cannot reply to topics in this forum