From 02349d2463e485a37a8a3f017abc8e6265538980 Mon Sep 17 00:00:00 2001
From: Hielke Morsink <hielke.morsink@gmail.com>
Date: Sun, 29 Nov 2015 17:01:41 +0100
Subject: [PATCH] Using platform_get_path_separator for getting the filename
 now

---
 src/util/util.c | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/util/util.c b/src/util/util.c
index fabf55f925..f437e486b3 100644
--- a/src/util/util.c
+++ b/src/util/util.c
@@ -56,9 +56,7 @@ bool filename_valid_characters(const utf8 *filename)
 const char *path_get_filename(const utf8 *path)
 {
 	// Find last slash or backslash in the path
-	char *filename = strrchr(path, '/');
-	if (filename == NULL)
-		filename = strrchr(path, '\\');
+	char *filename = strrchr(path, platform_get_path_separator());
 
 	assert(filename != NULL);