From a9f253ed148c4ff9ff4ed54d3525c0922a978070 Mon Sep 17 00:00:00 2001
From: Mathieu Baudier <mbaudier@argeo.org>
Date: Thu, 5 Sep 2019 20:52:51 +0200
Subject: [PATCH] Introduce OS utility.

---
 org.argeo.util/src/org/argeo/util/OS.java | 56 +++++++++++++++++++++++
 1 file changed, 56 insertions(+)
 create mode 100644 org.argeo.util/src/org/argeo/util/OS.java

diff --git a/org.argeo.util/src/org/argeo/util/OS.java b/org.argeo.util/src/org/argeo/util/OS.java
new file mode 100644
index 000000000..d8127b600
--- /dev/null
+++ b/org.argeo.util/src/org/argeo/util/OS.java
@@ -0,0 +1,56 @@
+package org.argeo.util;
+
+import java.io.File;
+import java.lang.management.ManagementFactory;
+
+/** When OS specific informations are needed. */
+public class OS {
+	public final static OS LOCAL = new OS();
+
+	private final String arch, name, version;
+
+	/** The OS of the running JVM */
+	protected OS() {
+		arch = System.getProperty("os.arch");
+		name = System.getProperty("os.name");
+		version = System.getProperty("os.version");
+	}
+
+	public String getArch() {
+		return arch;
+	}
+
+	public String getName() {
+		return name;
+	}
+
+	public String getVersion() {
+		return version;
+	}
+
+	public boolean isMSWindows() {
+		// only MS Windows would use such an horrendous separator...
+		return File.separatorChar == '\\';
+	}
+
+	public String[] getDefaultShellCommand() {
+		if (!isMSWindows())
+			return new String[] { "/bin/sh", "-l", "-i" };
+		else
+			return new String[] { "cmd.exe", "/C" };
+	}
+
+	public static Integer getJvmPid() {
+		/*
+		 * This method works on most platforms (including Linux). Although when Java 9
+		 * comes along, there is a better way: long pid =
+		 * ProcessHandle.current().getPid();
+		 *
+		 * See:
+		 * http://stackoverflow.com/questions/35842/how-can-a-java-program-get-its-own-
+		 * process-id
+		 */
+		String pidAndHost = ManagementFactory.getRuntimeMXBean().getName();
+		return Integer.parseInt(pidAndHost.substring(0, pidAndHost.indexOf('@')));
+	}
+}
-- 
2.30.2