Ensure we reset OutputtedFilenameList in profiling when a workspace i…

…s restored
gap-system · Feb 22, 2017 · 3bb7910 · 3bb7910
1 parent e37d037
commit 3bb7910
Showing 1 changed file with 10 additions and 1 deletion.
diff --git a/src/profile.c b/src/profile.c
@@ -1005,6 +1005,15 @@ static Int InitKernel (
     return 0;
 }
 
+static Int PostRestore ( StructInitInfo * module )
+{
+    /* When we restore a workspace, we start a new profile. This is the
+     * only part of the profile which is stored in the GAP memory space,
+     * so we want to clear it
+     */
+    OutputtedFilenameList = NEW_PLIST(T_PLIST, 0);
+    return 0;
+}
 
 /****************************************************************************
 **
@@ -1022,7 +1031,7 @@ static StructInitInfo module = {
     0,                                  /* checkInit                      */
     0,                                  /* preSave                        */
     0,                                  /* postSave                       */
-    0                                   /* postRestore                    */
+    PostRestore                         /* postRestore                    */
 };
 
 StructInitInfo * InitInfoProfile ( void )