From 98228c1ae818c8e093dc4433e2246757764167a8 Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Fri, 26 Jun 2015 16:41:36 +0200
Subject: [PATCH] actually use username from command line

---
 utils/adddoc.php | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/utils/adddoc.php b/utils/adddoc.php
index 2ad644b7d..7094bc5e9 100644
--- a/utils/adddoc.php
+++ b/utils/adddoc.php
@@ -147,9 +147,12 @@ $dms->setEnableConverting($settings->_enableConverting);
 $dms->setViewOnlineFileTypes($settings->_viewOnlineFileTypes);
 
 /* Create a global user object */
-if($username)
-	$user = $dms->getUserByLogin();
-else
+if($username) {
+	if(!($user = $dms->getUserByLogin($username))) {
+		echo "No such user '".$username."'.";
+		exit;
+	}
+} else
 	$user = $dms->getUser(1);
 
 if(is_readable($filename)) {