From 69fa7cb94aa4a0bb4ebcf4d9167a4dcf8821b510 Mon Sep 17 00:00:00 2001
From: "Liana.Bakradze" <liana.bakradze@jetbrains.com>
Date: Fri, 18 Nov 2016 15:35:25 +0300
Subject: [PATCH] EDU-748 Exception from tabs

---
 .../src/com/jetbrains/edu/learning/StudyTabTitleProvider.java  | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/python/educational-core/student/src/com/jetbrains/edu/learning/StudyTabTitleProvider.java b/python/educational-core/student/src/com/jetbrains/edu/learning/StudyTabTitleProvider.java
index e2a96a1d6c42..7cca1aae01ed 100644
--- a/python/educational-core/student/src/com/jetbrains/edu/learning/StudyTabTitleProvider.java
+++ b/python/educational-core/student/src/com/jetbrains/edu/learning/StudyTabTitleProvider.java
@@ -12,6 +12,7 @@ import com.jetbrains.edu.learning.courseFormat.TaskFile;
 import org.jetbrains.annotations.Nullable;
 
 import java.io.File;
+import java.util.regex.Pattern;
 
 public class StudyTabTitleProvider implements EditorTabTitleProvider {
   @Nullable
@@ -25,7 +26,7 @@ public class StudyTabTitleProvider implements EditorTabTitleProvider {
     if (title == null) {
       return null;
     }
-    String[] split = title.split(File.separator);
+    String[] split = title.split(Pattern.quote(File.separator));
     for (int i = 0; i < split.length; i++) {
       String part = split[i];
       Task task = taskFile.getTask();