olleharstedt

<?php

require __DIR__ . '/../vendor/autoload.php';

use Amp\Http\Client\HttpClientBuilder;
use Amp\Http\Client\Request;
use Amp\Http\Client\HttpClient;
use Amp\Loop;
use Amp\ByteStream\ClosedException;
use Amp\File\File;

olleharstedt

<?php

require __DIR__ . '/../vendor/autoload.php';

use Amp\Http\Client\HttpClientBuilder;
use Amp\Http\Client\Request;
use Amp\Loop;
use Amp\ByteStream\ClosedException;
use Amp\File;

olleharstedt

<?php

error_reporting(E_ALL);
set_time_limit(0);
ob_implicit_flush();

$sock = socket_create(AF_INET, SOCK_STREAM, SOL_TCP);

if (socket_bind($sock, '127.0.0.10', 888) === false) {
    die('cannot bind' . PHP_EOL);

olleharstedt

<?php

$command = sprintf(
    'echo -e "%s" | nc -U /var/run/docker.sock',
    "GET /info HTTP/1.1\r\nHost: localhost\r\n\r\n"
);
echo '<pre>'; var_dump($command); echo '</pre>';
var_dump(exec($command));

olleharstedt

<?php

$command = sprintf(
    'echo -e "%s" | nc -U /var/run/docker.sock',
    "GET /info HTTP/1.1\r\nHost: localhost\r\n"
);
echo '<pre>'; var_dump($command); echo '</pre>';
var_dump(exec($command));

olleharstedt

<?php

$command = sprintf(
    'echo -e "%s" | nc -U /var/run/docker.sock',
    "GET /info HTTP/1.1\r\nHost: localhost\r\n"
);
echo '<pre>'; var_dump($command); echo '</pre>';
var_dump(exec($command));

olleharstedt

<?php

$command = sprintf(
    'echo -e "%s" | nc -U /var/run/docker.sock',
    'GET /info HTTP/1.1\r\nHost: localhost\r\n'
);
echo '<pre>'; var_dump($command); echo '</pre>';
var_dump(exec($command));

olleharstedt

module Typestate

open FStar.Heap
open FStar.ST

type state = 
  | Open
  | Closed

type file = {