Changes for page Large Wiki Export
Last modified by Denis Gervalle on 2021/03/18 11:28
From version 62.2
edited by Denis Gervalle
on 2017/01/19 10:03
on 2017/01/19 10:03
Change comment:
There is no comment for this version
To version 63.1
edited by Denis Gervalle
on 2017/01/19 10:22
on 2017/01/19 10:22
Change comment:
There is no comment for this version
Summary
-
Objects (1 modified, 0 added, 0 removed)
Details
- ExtensionCode.ExtensionClass[0]
-
- Description
-
... ... @@ -567,6 +567,8 @@ 567 567 <% 568 568 System.out.println("Error found! Not exported elements:"); 569 569 System.out.println(error); 570 + println("Export of wiki ${wikiname} finished"); 571 + System.out.println("Export of wiki ${wikiname} finished"); 570 570 } 571 571 } else { 572 572 println "Ready to export the wiki";