From a75f1b61bc81f115b9dcd51a0481a622eaf06af4 Mon Sep 17 00:00:00 2001
From: Lars Jung <lrsjng@gmail.com>
Date: Thu, 8 May 2014 00:39:24 +0200
Subject: [PATCH] Add PHP exec wrapper.
---
src/_h5ai/server/php/inc/util.php | 9 +++++++++
1 file changed, 9 insertions(+)
diff --git a/src/_h5ai/server/php/inc/util.php b/src/_h5ai/server/php/inc/util.php
index db5294dc..3d679a2d 100644
--- a/src/_h5ai/server/php/inc/util.php
+++ b/src/_h5ai/server/php/inc/util.php
@@ -72,4 +72,13 @@ function load_commented_json($file) {
return json_decode($str, true);
}
+function exec_cmd($cmd) {
+
+ $lines = array();
+ $rc = null;
+ exec($cmd, $lines, $rc);
+
+ return $lines;
+}
+
?>
\ No newline at end of file