From cf14306c2b3f82a81f8d56669a71633b4d4b5fce Mon Sep 17 00:00:00 2001 From: marvin-borner@live.com Date: Mon, 16 Apr 2018 21:09:05 +0200 Subject: Main merge to user management system - files are now at /main/public/ --- assets/php/vendor/react/dns/examples/01-one.php | 22 ---------------------- 1 file changed, 22 deletions(-) delete mode 100755 assets/php/vendor/react/dns/examples/01-one.php (limited to 'assets/php/vendor/react/dns/examples/01-one.php') diff --git a/assets/php/vendor/react/dns/examples/01-one.php b/assets/php/vendor/react/dns/examples/01-one.php deleted file mode 100755 index 5db164f..0000000 --- a/assets/php/vendor/react/dns/examples/01-one.php +++ /dev/null @@ -1,22 +0,0 @@ -nameservers ? reset($config->nameservers) : '8.8.8.8'; - -$factory = new Factory(); -$resolver = $factory->create($server, $loop); - -$name = isset($argv[1]) ? $argv[1] : 'www.google.com'; - -$resolver->resolve($name)->then(function ($ip) use ($name) { - echo 'IP for ' . $name . ': ' . $ip . PHP_EOL; -}, 'printf'); - -$loop->run(); -- cgit v1.2.3