[svn r17065] Fix double dash character in session title

user_portal.php

@@ -1,28 +1,6 @@
-<?php // $Id: user_portal.php,v 1.10 2006/08/19 09:33:14 yannoo Exp $
+<?php // $Id: user_portal.php 17065 2008-12-04 06:07:44Z yannoo $
   
-/*
-==============================================================================
-	Dokeos - elearning and course management software
-
-	Copyright (c) 2004-2008 Dokeos SPRL
-	Copyright (c) 2003 Ghent University (UGent)
-	Copyright (c) 2001 Universite catholique de Louvain (UCL)
-	Copyright (c) various contributors
-
-	For a full list of contributors, see "credits.txt".
-	The full license can be read in "license.txt".
-
-	This program is free software; you can redistribute it and/or
-	modify it under the terms of the GNU General Public License
-	as published by the Free Software Foundation; either version 2
-	of the License, or (at your option) any later version.
-
-	See the GNU General Public License for more details.
-
-	Contact address: Dokeos, rue du Corbeau, 108, B-1030 Brussels, Belgium
-	Mail: info@dokeos.com
-==============================================================================
-*/
+/* For licensing terms, see /dokeos_license.txt */
 /**
 ==============================================================================
 *	This is the index file displayed when a user is logged in on Dokeos.
@@ -861,7 +839,7 @@ if ( is_array($list) ) {
 						echo '</ul>';
 					}
 					echo '<ul class="session_box">' .
-							'<li class="session_box_title">'.$value[3]['title'].' - '.$value[3]['dates'].'</li>';
+							'<li class="session_box_title">'.$value[3]['title'].' '.$value[3]['dates'].'</li>';
 					if ( !empty($value[3]['coach']) ) {
 						echo '<li class="session_box_coach">'.$value[3]['coach'].'</li>';
 					}
@@ -889,7 +867,7 @@ if ( is_array($list) ) {
 						echo '</ul>';
 					}
 					echo '<ul class="session_box">' .
-							'<li class="session_box_title">'.$value[3]['title'].' - '.$value[3]['dates'].'</li>';
+							'<li class="session_box_title">'.$value[3]['title'].' '.$value[3]['dates'].'</li>';
 					if ( !empty($value[3]['coach']) ) {
 						echo '<li class="session_box_coach">'.$value[3]['coach'].'</li>';
 					}