Skip to content

Instantly share code, notes, and snippets.

View boukeversteegh's full-sized avatar

Bouke Versteegh boukeversteegh

View GitHub Profile
<style>
td {
padding: 4px;
}
input {
width: 100%;
display: block;
border: 1px inset #EEE;
margin: -1px;
}
require_once 'wopr.php';
$settings = array(
'host' => 'localhost',
'port' => 1981,
);
$wopr = new WOPR($settings['host'], $settings['port']);
$wopr->connect();
@boukeversteegh
boukeversteegh / pipehttp.py
Created November 20, 2012 18:58
Pipe data to webserver
import BaseHTTPServer
import sys
server_host = 'localhost'
server_port = 8744
class MyHandler(BaseHTTPServer.BaseHTTPRequestHandler):
def do_HEAD(s):
s.send_response(200)
s.send_header("Content-type", "text/html")