Multi line Python source about camisole

[zopieux]

Just use escaped (as in JSON escaped) newlines in the source string:

import sys

sys.stdout.write("hello world\n")

becomes (note the double escape for the \n in the string):

{"source": "import sys\n\nsys.stdout.write(\"hello world\\n\")\n"}

Of course you could use a real JSON serializer instead of writing such strings by hand. You can use the httpie tool do ease this process, for instance:

$ http POST localhost:42920/run \
    lang=python tests:='[{"stdin": "foo"}]' \
    [email protected]

[zopieux]

b5543d4 fixes the fact that a content-type header is required in curl(1).