2000-09-26 10:35:26 -04:00
|
|
|
;;; Path handler for uploading Scheme code to the SU web server -*- Scheme -*-
|
2002-08-27 05:03:22 -04:00
|
|
|
|
|
|
|
;;; This file is part of the Scheme Untergrund Networking package.
|
|
|
|
|
|
|
|
;;; Copyright (c) 1995 by Olin Shivers.
|
|
|
|
;;; For copyright information, see the file COPYING which comes with
|
|
|
|
;;; the distribution.
|
|
|
|
|
2000-09-26 10:35:26 -04:00
|
|
|
;;; This is really just an handler example demonstrating how to upload code
|
|
|
|
;;; into the server.
|
|
|
|
|
|
|
|
;;; HTML forms
|
|
|
|
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
|
|
|
;;; This path handler is suitable for receiving code entered into an
|
|
|
|
;;; HTML text form. The Scheme code being uploaded is being POST'd to us
|
|
|
|
;;; (from a form). See http-forms.scm for info on the format of this kind
|
|
|
|
;;; of request. After parsing the request into the submitted string, we
|
|
|
|
;;; parse *that* into a Scheme sexp with READ, and eval it.
|
|
|
|
|
|
|
|
;;; (do/timeout secs thunk)
|
|
|
|
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
|
|
|
;;; Run THUNK, and gun it down if it hasn't finished in SECS seconds.
|
|
|
|
;;; Returns nothing useful, and THUNK gets executed in a subprocess,
|
|
|
|
;;; so its side-effects are invisible, as well. This is a clever kludge --
|
|
|
|
;;; it uses three subprocesses -- but I don't have interrupts, so I'm hosed.
|
|
|
|
|
|
|
|
(define (do/timeout* secs thunk)
|
|
|
|
(run (begin (let ((timer (fork (lambda () (sleep secs))))
|
|
|
|
(worker (fork thunk)))
|
|
|
|
(receive (process status) (wait-any)
|
|
|
|
(ignore-errors
|
|
|
|
(lambda ()
|
|
|
|
(signal-process (proc:pid (if (eq? worker process)
|
|
|
|
timer
|
|
|
|
worker))
|
|
|
|
signal/kill))))))))
|
|
|
|
(define-syntax do/timeout
|
|
|
|
(syntax-rules ()
|
|
|
|
((do/timeout secs body ...) (do/timeout* secs (lambda () body ...)))))
|
|
|
|
|
|
|
|
;;; The path handler for seval ops.
|
|
|
|
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
|
|
|
|
|
|
|
(define (seval-handler path req)
|
2001-08-20 07:31:03 -04:00
|
|
|
(let ((request-method (request:method req)))
|
|
|
|
(cond
|
|
|
|
((string=? request-method "POST") ; Could do others also.
|
2002-08-29 04:32:39 -04:00
|
|
|
(seval path req))
|
2002-08-28 11:41:52 -04:00
|
|
|
(else
|
|
|
|
(make-http-error-response http-status/method-not-allowed req)))))
|
2000-09-26 10:35:26 -04:00
|
|
|
|
2002-08-28 11:41:52 -04:00
|
|
|
(define (seval path req)
|
|
|
|
(make-response
|
|
|
|
http-status/ok
|
|
|
|
(status-code->text http-status/ok)
|
|
|
|
(time)
|
|
|
|
"text/html"
|
|
|
|
'()
|
2002-08-28 12:44:07 -04:00
|
|
|
(make-reader-writer-body
|
|
|
|
(lambda (iport oport options)
|
|
|
|
(let ((sexp (read-request-sexp req iport)))
|
|
|
|
(http-syslog (syslog-level debug) "read sexp: ~a" sexp)
|
|
|
|
(with-tag oport HEAD ()
|
|
|
|
(newline oport)
|
|
|
|
(emit-title oport "Scheme program output"))
|
|
|
|
(newline oport)
|
|
|
|
|
|
|
|
(with-tag oport BODY ()
|
|
|
|
(newline oport)
|
|
|
|
(do/timeout
|
|
|
|
10
|
|
|
|
(receive vals
|
|
|
|
;; Do the computation.
|
|
|
|
(begin (emit-header oport 2 "Output from execution")
|
|
|
|
(newline oport)
|
|
|
|
(with-tag oport PRE ()
|
|
|
|
(newline oport)
|
|
|
|
(force-output oport); In case we're gunned down.
|
|
|
|
(eval-safely sexp)))
|
|
|
|
|
|
|
|
;; Pretty-print the returned value(s).
|
|
|
|
(emit-header oport 2 "Return value(s)")
|
|
|
|
(with-tag oport PRE ()
|
|
|
|
(for-each (lambda (val) (p val oport))
|
|
|
|
vals))))))))))
|
2000-09-26 10:35:26 -04:00
|
|
|
|
|
|
|
|
|
|
|
;;; Read an HTTP request entity body from stdin. The Content-length:
|
|
|
|
;;; element of request REQ's header tells how many bytes to this entity
|
|
|
|
;;; is. The entity should be a URI-encoded form body. Pull out the
|
|
|
|
;;; program=<stuff>
|
|
|
|
;;; string, extract <stuff>, uri-decode it, parse that into an s-expression,
|
|
|
|
;;; and return it.
|
|
|
|
|
2002-08-28 12:44:07 -04:00
|
|
|
(define (read-request-sexp req iport)
|
2001-08-20 07:31:03 -04:00
|
|
|
(cond
|
|
|
|
((get-header (request:headers req) 'content-length) =>
|
|
|
|
(lambda (cl-str) ; Take the first Content-length: header,
|
2002-04-21 14:55:18 -04:00
|
|
|
(let* ((cl-start (string-skip cl-str char-set:whitespace)) ; skip whitespace,
|
2001-08-20 07:31:03 -04:00
|
|
|
(cl (if cl-start ; & convert to
|
|
|
|
(string->number (substring cl-str ; a number.
|
|
|
|
cl-start
|
|
|
|
(string-length cl-str)))
|
|
|
|
0)) ; All whitespace?? -- WTF.
|
2002-08-28 12:44:07 -04:00
|
|
|
(qs (read-string cl iport)) ; Read in CL chars,
|
2001-08-20 07:31:03 -04:00
|
|
|
(q (parse-html-form-query qs)) ; and parse them up.
|
|
|
|
(s (cond ((assoc "program" q) => cdr)
|
2002-08-29 04:32:39 -04:00
|
|
|
(else (error "No program in entity body.")))))
|
2002-08-26 04:15:43 -04:00
|
|
|
(http-syslog (syslog-level debug)
|
2002-08-28 11:41:52 -04:00
|
|
|
"Seval sexp: ~s" s)
|
2001-08-20 07:31:03 -04:00
|
|
|
(read (make-string-input-port s)))))
|
2002-08-29 04:32:39 -04:00
|
|
|
(else (error "No `Content-length:' field in POST request."))))
|