createJob must set benchmarkframework

jwaldmann / star-exec-presenter

presentation platform for star-exec written in Haskell and based upon Yesod

2 stars 7 forks source link

Closed jwaldmann closed 7 years ago

jwaldmann commented 7 years ago

else,

("Set-Cookie","STATUS_MESSAGE_STRING=\"You must specify which benchmarking framework you want to use.\"; Version=1")

(this is also an example for #163 )

jwaldmann commented 7 years ago

ah, the wonders of starexec. While we put

<bench-framework value="benchexec">

in the Job XML, we apparently have to put

("benchmarkingFramework","BENCHEXEC")

into the cookie jar for addJob.