From 4ba3cc53ff739f24853b9b28643e60e0d96f4f6b Mon Sep 17 00:00:00 2001
From: "liana.bakradze" <liana.bakradze@jetbrains.com>
Date: Thu, 28 Jul 2016 11:30:58 +0300
Subject: [PATCH] save document before creating student file

---
 .../student/src/com/jetbrains/edu/learning/core/EduUtils.java | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/python/educational-core/student/src/com/jetbrains/edu/learning/core/EduUtils.java b/python/educational-core/student/src/com/jetbrains/edu/learning/core/EduUtils.java
index 4a2e549ac7be..9966a7b80ebd 100644
--- a/python/educational-core/student/src/com/jetbrains/edu/learning/core/EduUtils.java
+++ b/python/educational-core/student/src/com/jetbrains/edu/learning/core/EduUtils.java
@@ -111,6 +111,10 @@ public class EduUtils {
 
 
   public static VirtualFile copyFile(Object requestor, VirtualFile toDir, VirtualFile file) {
+    Document document = FileDocumentManager.getInstance().getDocument(file);
+    if (document != null) {
+      FileDocumentManager.getInstance().saveDocument(document);
+    }
     String name = file.getName();
     try {
       VirtualFile userFile = toDir.findChild(name);
-- 
2.23.3