00:46 (quit) jeapostrophe: Quit: jeapostrophe 00:49 (join) asumu 01:01 (join) jeapostrophe 01:01 (quit) jeapostrophe: Client Quit 01:04 (quit) asumu: Read error: Connection reset by peer 02:18 (quit) jonrafkind: Ping timeout: 240 seconds 02:19 (join) rbarraud 02:47 (join) rawkstrus 02:47 rawkstrus: oh my god 03:04 (quit) rbarraud: Remote host closed the connection 03:04 (join) rbarraud 03:28 (quit) rbarraud: Remote host closed the connection 03:29 (join) rbarraud 03:42 (join) lbc 03:44 (quit) naryl: Ping timeout: 240 seconds 03:44 (part) lbc 03:52 (join) Rakko 03:52 Rakko: hi 03:53 rawkstrus: hi? 03:58 Rakko: I'm here because I'm having trouble running a program from the command line 03:58 rawkstrus: im extremely high on drugss and just going to random chat rooms 03:58 Rakko: if I put #lang scheme at the top, it exits without doing anything; but if I leave that out, it runs fine 03:58 Rakko: conversely, if I leave out #lang scheme, DrRacket doesn't know what to do 03:58 Rakko: oh, how fun! 03:59 rawkstrus: it is sooo much funnn 03:59 rawkstrus: but its deadly and kills your heart and your lungs. its a small price to pay 04:03 (quit) rbarraud: Read error: Connection reset by peer 04:12 (join) dzhus 04:14 Rakko: night 04:14 (quit) Rakko: Quit: Rakko 04:17 rapacity: o_o 04:18 rawkstrus: what? 04:50 (quit) rawkstrus: Quit: ~ Trillian Astra - www.trillian.im ~ 06:17 (join) jao 06:22 (join) naryl 07:14 (join) rbarraud 07:54 (join) writer 08:08 (quit) rbarraud: Remote host closed the connection 08:09 (join) rbarraud 09:12 (quit) rbarraud: Remote host closed the connection 09:12 (join) rbarraud 09:13 (join) jeapostrophe 09:54 (join) faure_ 09:55 (quit) faure: Ping timeout: 260 seconds 10:23 (join) anRch 11:06 (quit) jao: Remote host closed the connection 11:24 (join) hanDerPeder 11:49 (join) dzhus89 11:51 (quit) dzhus: Ping timeout: 260 seconds 11:52 (quit) jeapostrophe: Quit: jeapostrophe 11:57 (join) masm 12:01 (quit) anRch: Quit: anRch 12:07 masm: How can I force the webserver to close a connection from inside a handler function? 12:08 masm: When the server receives a HEAD request, it does not close the connection after sending the headers. 12:29 (join) jao 12:36 (quit) faure_: Ping timeout: 272 seconds 12:36 (join) faure 12:44 (join) jeapostrophe 12:47 (quit) jeapostrophe: Client Quit 12:55 (quit) faure: Ping timeout: 252 seconds 12:55 (join) faure 13:00 (quit) masm: Quit: Leaving. 13:04 (join) Spewns 13:25 (quit) Spewns: Quit: Leaving. 13:33 (quit) dzhus89: Remote host closed the connection 13:34 (join) faure_ 13:34 (quit) faure: Ping timeout: 240 seconds 14:16 (join) jonrafkind 14:52 offby1: eww. 14:52 offby1: Sounds like a bug. 14:52 offby1: I assume it closes it in the case of (say) a GET? 14:59 (join) faure 15:00 (quit) rbarraud: Ping timeout: 245 seconds 15:00 (quit) faure_: Ping timeout: 276 seconds 15:17 (quit) martinhex: Read error: Connection reset by peer 15:19 (join) martinhex 15:21 (join) faure_ 15:22 (quit) faure: Ping timeout: 252 seconds 15:23 (join) sstrickl 15:31 (quit) sstrickl: Quit: sstrickl 15:41 (join) drhodes 15:58 (join) pdo 16:21 (join) b-man_ 16:30 (quit) faure_: Ping timeout: 245 seconds 16:35 (join) chturne 17:11 (join) jeapostrophe 17:16 (quit) jeapostrophe: Quit: jeapostrophe 17:20 (quit) chturne: Quit: ERC Version 5.2 (IRC client for Emacs) 17:32 (join) chturne 17:45 (quit) hanDerPeder: Quit: hanDerPeder 17:48 (join) rbarraud 17:51 (join) hanDerPeder 18:04 (quit) pdo: Ping timeout: 265 seconds 18:10 (join) pdo 18:13 (quit) pdo: Client Quit 19:04 (join) wofl 19:04 wofl: hey, how could i go about outomating a program? 19:05 offby1 stares blankly 19:06 wofl: right now i open a file in drracket and then hit run 19:06 wofl: any way to automate this? 19:06 offby1: ah 19:06 wofl: via cron or shell script? 19:06 offby1: if the program is written in the "scheme" or "racket" languages, you can run it at the command line with "racket" 19:06 offby1: it's actually a little bit of a pain in the ass 19:06 wofl: acl2 i believe 19:06 wofl: does that count? 19:07 offby1: dunno what "acl2" is 19:08 wofl: i installed it seperately, and it showed up in the languages menu 19:08 offby1: *shrug* 19:08 offby1: anyway,it's less of a pita than I thought -- 19:08 offby1: just stick "#lang racket" at the top ... 19:08 offby1: then run "racket name-of-your-file.rkt" on the command line, and that ought to do it 19:08 wofl: part of dracula, if that helps 19:08 offby1 stares blankly 19:09 wofl: file extension is lisp though, but let me try it 19:09 clklein: There's no #lang line for Dracula programs (because ACL2 needs to read them too, and it doesn't understand them) 19:12 wofl: running racket on the file gives me: default-load-handler: expected a `module' declaration for `main', found: something else in: # 19:13 clklein: I don't know how to convince the racket command to run your program, but it might be easy to convince the ACL2 command (whatever it's called) to run your program 19:15 wofl: it just drops me to a promt 19:15 wofl: i will find a mailinglist for them 19:15 clklein: wofl: If you ask on the Racket mailing list, I'm sure you'll get the answer. 19:16 clklein: It's probably easy, once you know it. 19:17 wofl: alright, will do 19:17 (join) rmitt 19:19 (quit) rbarraud: Remote host closed the connection 19:20 (join) rbarraud 19:28 (quit) wofl: Ping timeout: 252 seconds 19:45 (quit) rbarraud: Read error: Connection reset by peer 19:59 (quit) b-man_: Remote host closed the connection 20:16 (join) jeapostrophe 20:20 (quit) jeapostrophe: Client Quit 21:24 (quit) writer: Quit: writer 21:32 (quit) hanDerPeder: Quit: hanDerPeder 21:58 (quit) rmitt: Ping timeout: 252 seconds 22:10 (join) b-man_ 23:22 (join) jeapostrophe 23:33 (quit) jeapostrophe: Quit: jeapostrophe