From 9a9a43fc4dbb800bc57da0080a55485be23ccc4b Mon Sep 17 00:00:00 2001
From: Laurent Destailleur <eldy@destailleur.fr>
Date: Wed, 27 Nov 2019 11:34:10 +0100
Subject: [PATCH] Return OS with ping

---
 htdocs/core/lib/functions2.lib.php | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/htdocs/core/lib/functions2.lib.php b/htdocs/core/lib/functions2.lib.php
index 12d9b06fee6..cd636d02e9c 100644
--- a/htdocs/core/lib/functions2.lib.php
+++ b/htdocs/core/lib/functions2.lib.php
@@ -1564,11 +1564,13 @@ function dol_print_reduction($reduction, $langs)
  * 	Return OS version.
  *  Note that PHP_OS returns only OS (not version) and OS PHP was built on, not necessarly OS PHP runs on.
  *
- * 	@return		string			OS version
+ *  @param 		string		$option 	Option string
+ * 	@return		string					OS version
  */
-function version_os()
+function version_os($option = '')
 {
-    $osversion = php_uname();
+	if ($option) $osversion = php_uname($option);
+	else $osversion = php_uname();
     return $osversion;
 }