1 files changed, 44 insertions, 0 deletions
diff --git a/vendor/thecodingmachine/safe/generated/inotify.php b/vendor/thecodingmachine/safe/generated/inotify.php
new file mode 100644
index 000000000..2e0704159
--- /dev/null
+++ b/vendor/thecodingmachine/safe/generated/inotify.php
@@ -0,0 +1,44 @@
+<?php
+
+namespace Safe;
+
+use Safe\Exceptions\InotifyException;
+
+/**
+ * Initialize an inotify instance for use with
+ * inotify_add_watch
+ *
+ * @return resource A stream resource.
+ * @throws InotifyException
+ *
+ */
+function inotify_init()
+{
+    error_clear_last();
+    $result = \inotify_init();
+    if ($result === false) {
+        throw InotifyException::createFromPhpError();
+    }
+    return $result;
+}
+
+
+/**
+ * inotify_rm_watch removes the watch
+ * watch_descriptor from the inotify instance
+ * inotify_instance.
+ *
+ * @param resource $inotify_instance Resource returned by
+ * inotify_init
+ * @param int $watch_descriptor Watch to remove from the instance
+ * @throws InotifyException
+ *
+ */
+function inotify_rm_watch($inotify_instance, int $watch_descriptor): void
+{
+    error_clear_last();
+    $result = \inotify_rm_watch($inotify_instance, $watch_descriptor);
+    if ($result === false) {
+        throw InotifyException::createFromPhpError();
+    }
+}