From 4397767a5e1686da719dc1dcc04572f4bdbbfc70 Mon Sep 17 00:00:00 2001
From: ThomasV <thomasv@electrum.org>
Date: Mon, 19 Aug 2019 10:50:06 +0200
Subject: [PATCH] minor fix

---
 run_electrum | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/run_electrum b/run_electrum
index 58476f264..bc1c50802 100755
--- a/run_electrum
+++ b/run_electrum
@@ -159,7 +159,7 @@ def init_cmdline(config_options, server):
         print_stderr("In particular, DO NOT use 'redeem private key' services proposed by third parties.")
 
     # commands needing password
-    if (cmd.requires_wallet and storage.is_encrypted() and server is None)\
+    if (cmd.requires_wallet and storage.is_encrypted() and server is False)\
        or (cmd.requires_password and (storage.get('use_encryption') or storage.is_encrypted())):
         if storage.is_encrypted_with_hw_device():
             # this case is handled later in the control flow