From f983db8688f0a9d3f5bdcfc9587a000538b9713b Mon Sep 17 00:00:00 2001
From: andylokandy <andylokandy@hotmail.com>
Date: Wed, 17 Apr 2019 19:40:25 +0800
Subject: [PATCH] Don't output elba info in `ide-mode`

Solves #50
---
 src/bin/cmds/repl.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/bin/cmds/repl.rs b/src/bin/cmds/repl.rs
index b8f45a6..1014edf 100644
--- a/src/bin/cmds/repl.rs
+++ b/src/bin/cmds/repl.rs
@@ -41,6 +41,7 @@ pub fn exec(c: &mut Config, args: &ArgMatches) -> Res<String> {
     );
 
     let interactivity = if args.is_present("ide-mode") {
+        c.verbosity(Verbosity::None);
         build::Interactivity::IDE
     } else if args.is_present("ide-mode-socket") {
         c.verbosity(Verbosity::None);