From e441c96c85bdc3e4e1179c98ff2933c65b5b975f Mon Sep 17 00:00:00 2001
From: Muhammad Ikhsan <muhikhsan101@gmail.com>
Date: Tue, 17 Oct 2017 16:29:40 +0700
Subject: [PATCH] Check other whitespace characters, e.g. tabs

---
 src/se/vidstige/jadb/managers/Bash.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/se/vidstige/jadb/managers/Bash.java b/src/se/vidstige/jadb/managers/Bash.java
index 3f2ef04..6770a8d 100644
--- a/src/se/vidstige/jadb/managers/Bash.java
+++ b/src/se/vidstige/jadb/managers/Bash.java
@@ -2,8 +2,8 @@ package se.vidstige.jadb.managers;
 
 public class Bash {
     public static String quote(String s) {
-        // TODO: Should also check other whitespace
-        if (!s.contains(" ")) {
+        // Check that s contains no whitespace
+        if (s.matches("\\S+")) {
             return s;
         }
         return "'" + s.replace("'", "'\\''") + "'";