handin server error

99 views
Skip to first unread message

Cameron Swords

unread,
Aug 23, 2016, 5:15:38 PM8/23/16
to Racket Users
Hi,

I'm trying to set up a handin server for a class this semester, and I'm getting the weirdest error message from the client side. Here it is:

submit error: Error in your code --
file-exists?: `exists' access denied for libobj.so

This seems tied to the fact that the submission file requires another file (precisely, it requires 2htdp/image as `(require 2htdp/image)`), and when I remove that it works fine (though obviously inhibits the assignment).

Attached are the checker and configuration.

Any help would mean a lot!

Thanks,
Cameron Swords

checker.rkt
config.rktd

Spencer Florence

unread,
Sep 7, 2016, 11:52:15 AM9/7/16
to Cameron Swords, Racket Users
This is a little bit of a hack and weakens the handin server security but adding the following to the top of your checker file should make this error go away:

```
 (require handin-server/sandbox)

  (sandbox-path-permissions
   (cons
    (list 'read"/")
    (sandbox-path-permissions)))
```

--spencer

--
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...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Eli Barzilay

unread,
Sep 12, 2016, 1:22:48 AM9/12/16
to Spencer Florence, Cameron Swords, Racket Users
On Wed, Sep 7, 2016 at 11:52 AM, Spencer Florence <spe...@florence.io> wrote:
> This is a little bit of a hack and weakens the handin server security

Your suggestion is pretty bad in that it's more significant than it
looks. With it, you're allowing submission evaluation to read all files
on the handin server. You should at least replace the "/" path with the
system path that has the required libraries.

--
((x=>x(x))(x=>x(x))) Eli Barzilay:
http://barzilay.org/ Maze is Life!
Reply all
Reply to author
Forward
0 new messages