From 5881b6331a61d819fa57c12ed098c873a5db1593 Mon Sep 17 00:00:00 2001
From: Pavel Shevaev <pacha.shevaev@gmail.com>
Date: Thu, 30 Nov 2023 23:34:47 +0300
Subject: [PATCH] A bit tweaking session title output

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

diff --git a/session.inc.php b/session.inc.php
index ec77bf4..41668bd 100644
--- a/session.inc.php
+++ b/session.inc.php
@@ -94,8 +94,8 @@ class Session
   function getTitle() : string
   {              
     $finished_plans = $this->countFinishedPlans();
-    return "Session ({$this->id}) '{$this->name}' (plans:$finished_plans/".sizeof($this->plans)." devices:".sizeof($this->getDevices())." ?:".sizeof($this->ignored_devices) . 
-      ') (' . round($this->getDuration()/60, 1) . ' min)';
+    return "**Session ({$this->id}) '{$this->name}' (plans:$finished_plans/".sizeof($this->plans)." devices:".sizeof($this->getDevices())." ?:".sizeof($this->ignored_devices) . 
+      ') (' . round($this->getDuration()/60, 1) . ' min)**';
   }
 
   function getDuration() : int