From 450d0dba4ea74a5646088954654fa653871484c3 Mon Sep 17 00:00:00 2001
From: Benjamin Canou <benjamin@canou.fr>
Date: Sun, 26 Nov 2017 23:19:24 +0100
Subject: [PATCH] Client: remove trace of the web client.

---
 src/client/client_commands.ml  | 8 --------
 src/client/client_commands.mli | 6 ------
 src/client_main.ml             | 1 -
 3 files changed, 15 deletions(-)

diff --git a/src/client/client_commands.ml b/src/client/client_commands.ml
index 8c4435784..9dd29e0be 100644
--- a/src/client/client_commands.ml
+++ b/src/client/client_commands.ml
@@ -11,15 +11,9 @@ type ('a, 'b) lwt_format =
   ('a, Format.formatter, unit, 'b Lwt.t) format4
 
 type cfg = {
-
-  (* webclient options *)
-  web_port : int ;
-
-  (* misc options *)
   base_dir : string ;
   force : bool ;
   block : Node_rpc_services.Blocks.block ;
-
 }
 
 type context = {
@@ -42,8 +36,6 @@ let default_cfg_of_base_dir base_dir = {
   base_dir ;
   force = false ;
   block = `Prevalidation ;
-
-  web_port = 8080 ;
 }
 
 let home =
diff --git a/src/client/client_commands.mli b/src/client/client_commands.mli
index 53f11949e..fdcb8ceed 100644
--- a/src/client/client_commands.mli
+++ b/src/client/client_commands.mli
@@ -11,15 +11,9 @@ type ('a, 'b) lwt_format =
   ('a, Format.formatter, unit, 'b Lwt.t) format4
 
 type cfg = {
-
-  (* webclient options *)
-  web_port : int ;
-
-  (* misc options *)
   base_dir : string ;
   force : bool ;
   block : Node_rpc_services.Blocks.block ;
-
 }
 
 type context = {
diff --git a/src/client_main.ml b/src/client_main.ml
index 32590ffa7..6b050fab1 100644
--- a/src/client_main.ml
+++ b/src/client_main.ml
@@ -91,7 +91,6 @@ let main () =
         base_dir = parsed_config_file.base_dir ;
         force = parsed_args.force ;
         block = parsed_args.block ;
-        web_port = Client_commands.default_cfg.web_port ;
       } in
       let rpc_config =
         if parsed_args.print_timings then