X-Git-Url: https://git.jetbrains.org/?p=idea%2Fcommunity.git;a=blobdiff_plain;f=python%2Feducational-core%2Fstudent%2Fsrc%2Fcom%2Fjetbrains%2Fedu%2Flearning%2Fcore%2FEduUtils.java;h=9966a7b80ebd3dd005255664a2d16555d074e8e1;hp=4a2e549ac7be63558ef78e33ee615032b8249b72;hb=4ba3cc53ff739f24853b9b28643e60e0d96f4f6b;hpb=80e8516e25efabd7f9b287cca20657b5109aaf79

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);