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

can't upload a post-processor

2 posters

Go down

can't upload a post-processor Empty can't upload a post-processor

Post by df Fri Jun 06, 2014 11:03 am

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

df

Posts : 17
Join date : 2014-04-30

Back to top Go down

can't upload a post-processor Empty Re: can't upload a post-processor

Post by df Wed Jun 11, 2014 2:00 pm

Problem persists.

df

Posts : 17
Join date : 2014-04-30

Back to top Go down

can't upload a post-processor Empty Re: can't upload a post-processor

Post by j.waldmann Sat Jun 14, 2014 5:25 am

> 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.

j.waldmann

Posts : 84
Join date : 2014-04-26

Back to top Go down

can't upload a post-processor Empty Re: can't upload a post-processor

Post by j.waldmann Sun Jun 15, 2014 12:57 pm

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.


j.waldmann

Posts : 84
Join date : 2014-04-26

Back to top Go down

can't upload a post-processor Empty Re: can't upload a post-processor

Post by df Mon Jun 16, 2014 10:24 am

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

df

Posts : 17
Join date : 2014-04-30

Back to top Go down

can't upload a post-processor Empty Re: can't upload a post-processor

Post by j.waldmann Mon Jun 16, 2014 10:54 am

> Is there something wrong here?

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

Back to top Go down

can't upload a post-processor Empty Re: can't upload a post-processor

Post by df Mon Jun 16, 2014 11:48 am

Thanks, J. That was it.
(I was now able to upload and run a post-proc.)

df

Posts : 17
Join date : 2014-04-30

Back to top Go down

can't upload a post-processor Empty Re: can't upload a post-processor

Post by Sponsored content


Sponsored content


Back to top Go down

Back to top

- Similar topics

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