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/stream/src/Util.php | 75 -----------------------------
 1 file changed, 75 deletions(-)
 delete mode 100755 assets/php/vendor/react/stream/src/Util.php

(limited to 'assets/php/vendor/react/stream/src/Util.php')

diff --git a/assets/php/vendor/react/stream/src/Util.php b/assets/php/vendor/react/stream/src/Util.php
deleted file mode 100755
index 14ddcfc..0000000
--- a/assets/php/vendor/react/stream/src/Util.php
+++ /dev/null
@@ -1,75 +0,0 @@
-<?php
-
-namespace React\Stream;
-
-final class Util
-{
-    /**
-     * Pipes all the data from the given $source into the $dest
-     *
-     * @param ReadableStreamInterface $source
-     * @param WritableStreamInterface $dest
-     * @param array $options
-     * @return WritableStreamInterface $dest stream as-is
-     * @see ReadableStreamInterface::pipe() for more details
-     */
-    public static function pipe(ReadableStreamInterface $source, WritableStreamInterface $dest, array $options = array())
-    {
-        // source not readable => NO-OP
-        if (!$source->isReadable()) {
-            return $dest;
-        }
-
-        // destination not writable => just pause() source
-        if (!$dest->isWritable()) {
-            $source->pause();
-
-            return $dest;
-        }
-
-        $dest->emit('pipe', array($source));
-
-        // forward all source data events as $dest->write()
-        $source->on('data', $dataer = function ($data) use ($source, $dest) {
-            $feedMore = $dest->write($data);
-
-            if (false === $feedMore) {
-                $source->pause();
-            }
-        });
-        $dest->on('close', function () use ($source, $dataer) {
-            $source->removeListener('data', $dataer);
-            $source->pause();
-        });
-
-        // forward destination drain as $source->resume()
-        $dest->on('drain', $drainer = function () use ($source) {
-            $source->resume();
-        });
-        $source->on('close', function () use ($dest, $drainer) {
-            $dest->removeListener('drain', $drainer);
-        });
-
-        // forward end event from source as $dest->end()
-        $end = isset($options['end']) ? $options['end'] : true;
-        if ($end) {
-            $source->on('end', $ender = function () use ($dest) {
-                $dest->end();
-            });
-            $dest->on('close', function () use ($source, $ender) {
-                $source->removeListener('end', $ender);
-            });
-        }
-
-        return $dest;
-    }
-
-    public static function forwardEvents($source, $target, array $events)
-    {
-        foreach ($events as $event) {
-            $source->on($event, function () use ($event, $target) {
-                $target->emit($event, func_get_args());
-            });
-        }
-    }
-}
-- 
cgit v1.2.3