From 35270a645f4ab365207afc322a70ced4c93f4aba Mon Sep 17 00:00:00 2001
From: Julio Montoya <gugli100@gmail.com>
Date: Fri, 26 Mar 2010 10:27:44 -0500
Subject: [PATCH] Minor - cosmetic changes

---
 main/admin/resume_session.php | 15 +++++----------
 1 file changed, 5 insertions(+), 10 deletions(-)

diff --git a/main/admin/resume_session.php b/main/admin/resume_session.php
index a6767c1f52..9d13f45bcb 100755
--- a/main/admin/resume_session.php
+++ b/main/admin/resume_session.php
@@ -1,21 +1,17 @@
-<?php // $Id: resume_session.php 20709 2009-05-15 19:12:37Z ivantcholakov $
-/* For licensing terms, see /dokeos_license.txt */
+<?php
+/* For licensing terms, see /license.txt */
 /**
-==============================================================================
 *	@author Bart Mollet
-*	@package dokeos.admin
-==============================================================================
+*	@package chamilo.admin
 */
 /*
-==============================================================================
 		INIT SECTION
-==============================================================================
 */
 
 // name of the language file that needs to be included
 $language_file = 'admin';
 $cidReset = true;
-require '../inc/global.inc.php';
+require_once '../inc/global.inc.php';
 
 // setting the section (for the tabs)
 $this_section=SECTION_PLATFORM_ADMIN;
@@ -49,8 +45,7 @@ $rs = Database::query($sql);
 $session = Database::store_result($rs);
 $session = $session[0];
 
-if(!api_is_platform_admin() && $session['session_admin_id']!=$_user['user_id'])
-{
+if(!api_is_platform_admin() && $session['session_admin_id']!=$_user['user_id']) {
 	api_not_allowed(true);
 }