From 635d8253feec6a0400a0681345fca8c3bd88cc3a Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Mon, 28 Jun 2021 11:15:56 +0200
Subject: [PATCH] add space after scriptname in add_log_line()

---
 inc/inc.Utils.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/inc/inc.Utils.php b/inc/inc.Utils.php
index 3299c41c7..9ba41f782 100644
--- a/inc/inc.Utils.php
+++ b/inc/inc.Utils.php
@@ -412,9 +412,9 @@ function add_log_line($msg="", $priority=null) { /* {{{ */
 	elseif(!empty($_SERVER['REMOTE_ADDR']))
 		$ip = $_SERVER['REMOTE_ADDR'];
 	if(!empty($_SERVER["REQUEST_URI"]))
-		$scriptname = basename($_SERVER["REQUEST_URI"], ".php");
+		$scriptname = basename($_SERVER["REQUEST_URI"], ".php").' ';
 	else
-		$scriptname = basename($_SERVER["SCRIPT_NAME"]);
+		$scriptname = basename($_SERVER["SCRIPT_NAME"]).' ';
 	if($user)
 		$logger->log($user->getLogin()." (".$ip.") ".$scriptname.($msg ? $msg : ''), $priority);
 	else