From ab3456c24ab314bccc7055f3ab18d0ec206e531c Mon Sep 17 00:00:00 2001
From: Lakshitha SENANAYAKE <16477976+lmsenanayake@users.noreply.github.com>
Date: Thu, 2 Aug 2018 12:03:13 +0200
Subject: [PATCH] Replace blank spaces of file name

Replace the blank spaces of the generated file name, which make them more easy to manipulate on Linux.
---
 classes/reporter.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/classes/reporter.php b/classes/reporter.php
index b5d172d..edc2c02 100644
--- a/classes/reporter.php
+++ b/classes/reporter.php
@@ -75,7 +75,7 @@ public function __construct($projectPath, $reportFolder = null) {
 		} else {
 			$this->reportFolder = PHP7MAR_DIR.DIRECTORY_SEPARATOR.'reports';
 		}
-		$this->fullFilePath = $this->reportFolder.DIRECTORY_SEPARATOR.date('Y-m-d H.i.s ').basename($this->projectPath, '.php').".md";
+		$this->fullFilePath = $this->reportFolder.DIRECTORY_SEPARATOR.date('Y-m-d_H.i.s_').basename($this->projectPath, '.php').".md";
 
 		$this->file = fopen($this->fullFilePath, 'w+');
 		register_shutdown_function([$this, 'onShutdown']);
@@ -161,4 +161,4 @@ public function onShutdown() {
 		fclose($this->file);
 	}
 }
-?>
\ No newline at end of file
+?>