Re: [racket-users] Sending a file via HTML request.

2016-08-23 Thread spdegabrielle
Hi, JSON (require json-parsing) see https://docs.racket-lang.org/json-parsing/index.html I've cribbed the HTML below from http://www.w3schools.com/tags/att_input_accept.asp On the web server side this SO response seems to answer,

[racket-users] RE: linespacing in scribble with superscripts

2016-08-23 Thread Jos Koot
Thanks very much. Very clear answer. I am talking about HTML, indeed. I certainly will try your code. Thanks again, Jos -Original Message- From: Dupéron Georges [mailto:jahvascriptman...@gmail.com] Sent: martes, 23 de agosto de 2016 12:56 To: Racket Users Cc: jos.k...@gmail.com Subject:

Re: [racket-users] Racket Shell

2016-08-23 Thread Andrew Gwozdziewycz
> On Aug 22, 2016, at 13:18, Vincent St-Amour > wrote: > > On Mon, 22 Aug 2016 11:38:37 -0500, > Andrew Gwozdziewycz wrote: >> >> This discussion has reminded of SHILL >> (https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-moore.pdf) >> which

[racket-users] handin server error

2016-08-23 Thread Cameron Swords
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

Re: [racket-users] Sending a file via HTML request.

2016-08-23 Thread Normal Loone
No, I don't have it in JSON yet. How do I load a file into JSON in racket? It's only a text file, although I like to get it zipped first. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails

[racket-users] Re: Sending a file via HTML request.

2016-08-23 Thread Jack Firth
You could base64 encode the file bytes and stick that into a field in the JSON you send. Why not just send the file directly though? For instance, instead of sending this: POST /somewhere Content-Type: application/json { filename: "foo" content:

Re: [racket-users] Sending a file via HTML request.

2016-08-23 Thread Normal Loone
Yeah, my main problem is how do I pack the file into a JSON Object and then send it? With (require net/http-client) I could already establish a connection with (http-conn-sendrecv! hc uri), but All I can send is the empty header of the http request. How do I add the HTML code or the file in

Re: [racket-users] Sending a file via HTML request.

2016-08-23 Thread Matthias Felleisen
If the file is in JSON, just read-json and then write-json to the port. > On Aug 23, 2016, at 5:09 AM, Normal Loone wrote: > > Yeah, my main problem is how do I pack the file into a JSON Object and then > send it? > > With (require net/http-client) I could already

[racket-users] Re: linespacing in scribble with superscripts

2016-08-23 Thread Dupéron Georges
Le jeudi 18 août 2016 22:21:37 UTC+2, jos.koot a écrit : > #lang scribble/manual > bla blah blah@(linebreak) > blah blah bla @superscript{blah blah bah}@(linebreak) > bla blah blah > > the linespacing between the first 2 lines is larger > than between the last 2 lines. I suppose you are talking