From dee263704cb6679be2f2d5e6b7e5945c0305e253 Mon Sep 17 00:00:00 2001
From: Jfreegman <Jfreegman@gmail.com>
Date: Tue, 22 Oct 2013 01:59:06 -0400
Subject: [PATCH] make function constant time

---
 src/misc_tools.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/misc_tools.c b/src/misc_tools.c
index d6493fd..d2b7364 100644
--- a/src/misc_tools.c
+++ b/src/misc_tools.c
@@ -53,7 +53,7 @@ void print_time(WINDOW *window)
 /* Returns 1 if the string is empty, 0 otherwise */
 int string_is_empty(char *string)
 {
-    return strlen(string) <= 0;
+    return string[0] == '\0';
 }
 
 /* convert wide characters to null terminated string */