Hi James,
If you use (check-deadline) in the checker, the config file needs to
contain the deadline of the assignment. If the deadline configuration is
not found, this error would show up. For example, in you have this config,
((active-dirs ("directoryA"))
(inactive-dirs ...)
(deadline
(
("directoryA" (2019 3 24 23 59 59) 0)
...
))
...
)
then in directoryA/checker.rkt, (check-deadline) will use 2019/03/24
23:59:59 as the deadline.
Related:
https://github.com/racket/handin/blob/master/handin-server/grading-utils.rkt#L127
https://github.com/racket/handin/blob/master/handin-server/grading-utils.rkt#L116-L118
On Sat, May 12, 2018 at 8:18 PM, James Yoo <jyoo...@gmail.com> wrote:
> Hi, everyone.
> Sorry if this is the wrong place to ask, but I've been having some issues
> using the checker service for the racket handin-server. I'm currently a TA
> trying to get some
> automating checking to work for the course I'm helping to teach :). I get
> the following error message:
>
>
> <https://lh3.googleusercontent.com/-J47L81UZpOk/WveRzgFzjOI/AAAAAAAABCw/Qpd9FfxomGQEHD8AqgYIRqvPEqcfX0X4gCLcBGAs/s1600/Screen%2BShot%2B2018-05-12%2Bat%2B2.19.16%2BPM.png>
> Which I suspect is from a multiple-value function. I've also narrowed down
> the failing point to the function "check-deadlines" in the pre expression
> in checker.rkt. I'll be happy to provide the racket file if needed for
> further debugging.
>
> Again, I apologize in advance if this is the wrong place to ask, and thank
> you very much for your help!
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
>
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
