       (lean-server-send-cmd (lean-cmd-visit current-file-name)))))
 
 (defun lean-server-before-send-cmd (cmd)
-  "Operations to perform before sending a command"
+  "Operations to perform before sending a command."
   (cl-case (lean-cmd-type cmd)
     ('LOAD    ())
     ('VISIT   ())

    (process-send-string proc string-to-send))
  (lean-server-after-send-cmd cmd))

;; TODO(soonhok): How to kill an async process

(provide 'lean-server)

    ('CHECK   (lean-server-check-current-file))))

(defun lean-server-after-send-cmd (cmd)
  "Operations to perform after sending a command."
  (cl-case (lean-cmd-type cmd)
    ('LOAD    (setq lean-global-server-current-file-name
                    (lean-cmd-load-get-file-name cmd)))
