From 3dabbbd5325c9fad9582cd44b1da68dece78eaa0 Mon Sep 17 00:00:00 2001
From: Urban Müller
Date: Thu, 21 Jun 2018 16:42:32 +0200
Subject: no reason for different naming

---
 tests/it_url_server.php | 33 ---------------------------------
 1 file changed, 33 deletions(-)
 delete mode 100644 tests/it_url_server.php

(limited to 'tests/it_url_server.php')

diff --git a/tests/it_url_server.php b/tests/it_url_server.php
deleted file mode 100644
index a407ab5..0000000
--- a/tests/it_url_server.php
+++ /dev/null
@@ -1,33 +0,0 @@
-<?php
-$server = proc_open(
-	'php -S localhost:8000 ' . dirname($_SERVER['PHP_SELF']) . '/it_url.testserver.php',
-	array(0 => fopen('/dev/null', 'r'), 1 => fopen('/dev/null', 'w'), 2 => array('pipe', 'w')),
-	$pipes
-);
-register_shutdown_function(
-	function ($server) {
-		proc_terminate($server);
-	},
-	$server
-);
-
-usleep(100000);
-stream_set_blocking($pipes[2], 0);
-
-function server_output() {
-	$result = array();
-	while (($result[] = trim(fgets($GLOBALS['pipes'][2])))) {};
-	return array_filter($result);
-}
-
-function handle_server($args) {
-	$res = true;
-	foreach ((array)$args as $arg)
-		$res = $res && $arg;
-	$output = server_output();
-	if (!$res)
-		diag($output);
-	else
-		return $output;
-}
-
-- 
cgit v1.2.3