The username under which gitlab is running, has changed from gitlab to git. If you get the following message when pushing or pulling: gitlab@gitlab.ai.vub.ac.be: Permission denied (publickey), then execute this command in your repository directory: git remote set-url origin git@gitlab.ai.vub.ac.be:namespace/project.git . (replace namespace and project by the appropriate values). Use git remote -v to check the current value.

Commit 0c3cf299 authored by Arthur Lemmens's avatar Arthur Lemmens

START-WEB-INTERFACE now prints the actual port and address, not the defaults.

parent 9494725c
......@@ -115,7 +115,7 @@
(defun start-web-interface (&key (port *port*) (address *address*))
(if *my-server*
(format t "~% ***** web interface already running at http://~a:~d *****~%"
*address* *port*)
address port)
(progn
(setf *my-server*
(start (make-instance 'easy-acceptor
......@@ -126,7 +126,7 @@
:message-log-destination nil
:access-log-destination nil)))
(format t "~% ***** started web interface at http://~a:~d *****~%"
*address* *port*))))
address port))))
;; automatically start the server when the asdf system is loaded
(when (and cl-user::*automatically-start-web-interface*
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment