From 5d3e80aeec03af9a5b271757e31a802d8fcb3eeb Mon Sep 17 00:00:00 2001
From: Joey Hess <joeyh@joeyh.name>
Date: Sun, 30 Apr 2017 19:28:15 -0400
Subject: add --use-server option for user

---
 Role/User.hs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'Role/User.hs')

diff --git a/Role/User.hs b/Role/User.hs
index 1bc3aa2..e1138c2 100644
--- a/Role/User.hs
+++ b/Role/User.hs
@@ -49,8 +49,9 @@ run os = fromMaybe (ExitFailure 101) <$> connect
 		putStr "Connecting to debug-me server..."
 		hFlush stdout
 		usv <- newEmptyTMVarIO
-		runClientApp $ clientApp (InitMode email) User developerMessages $ \ochan ichan sid -> do
-			let url = sessionIDUrl sid "localhost" 8081
+		let app = clientApp (InitMode email) User developerMessages
+		runClientApp (useServer os) $ app $ \ochan ichan sid -> do
+			let url = sessionIDUrl sid (useServer os)
 			putStrLn ""
 			putStrLn "Others can connect to this session and help you debug by running:"
 			putStrLn $ "  debug-me " ++ show url
-- 
cgit v1.2.3