diff --git a/repository/webdav/repository.class.php b/repository/webdav/repository.class.php
index ed959540fa0..cbd9158ea5f 100644
--- a/repository/webdav/repository.class.php
+++ b/repository/webdav/repository.class.php
@@ -13,6 +13,9 @@ class repository_webdav extends repository {
     public function __construct($repositoryid, $context = SITEID, $options = array()) {
         parent::__construct($repositoryid, $context, $options);
         $this->wd = new webdav_client();
+        if (empty($this->webdav_server)) {
+            return;
+        }
         $this->wd->set_server($this->webdav_server);
         if (empty($this->webdav_port)) {
             $this->wd->set_port(80);