              "%s\n"
              "================" "\n")
      string-to-send)
-    (process-send-string proc string-to-send))
-  (lean-server-after-send-cmd cmd))
+    ;; Trace
+    (lean-server-trace
+     (format "%s" string-to-send))
+    (process-send-string proc string-to-send)
+    (lean-server-after-send-cmd cmd)))
 
 (provide 'lean-server)

  "Display a message at the bottom of the *lean-server* buffer."
  (with-current-buffer (lean-server-get-buffer)
    (goto-char (point-max))
    (insert (apply 'format (concat format-string "\n")  args))))

;; How to read data from an async process
;; ======================================


;; Parameters
;; ==========
(defvar-local lean-server-process-name      "lean-server")
(defvar-local lean-server-buffer-name       "*lean-server*")
(defvar-local lean-server-trace-buffer-name "*lean-server-trace*")
(defvar-local lean-server-option            "--server")

;; Log Function
;; ============
