From 28820fa459964e18e0e6a5b8a6dc62895bdc0daf Mon Sep 17 00:00:00 2001
From: Niklas Keller <me@kelunik.com>
Date: Tue, 2 May 2017 19:30:34 +0200
Subject: [PATCH] Ignore __destruct for coverage

---
 lib/Loop/EventDriver.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/lib/Loop/EventDriver.php b/lib/Loop/EventDriver.php
index 08975bb..c936f01 100644
--- a/lib/Loop/EventDriver.php
+++ b/lib/Loop/EventDriver.php
@@ -116,6 +116,9 @@ class EventDriver extends Driver {
         return \extension_loaded("event");
     }
 
+    /**
+     * @codeCoverageIgnore
+     */
     public function __destruct() {
         foreach ($this->events as $event) {
             $event->free();