initial commit

2017-10-10 14:11:20 +01:00
commit c1641bda46
18 changed files with 1057 additions and 0 deletions
--- a/formchk.php
+++ b/formchk.php
@@ -0,0 +1,15 @@
+<?php
+$sWebMO = 'C:\Program Files\WebMO\user';
+$sTarget = 'D:\Computations\WebMO';
+$aJobs = glob(sprintf('%s\*', $sWebMO));
+foreach ($aJobs as $sJob) {
+    $iJob = basename($sJob);
+    $sChk = sprintf('%s\output.chk', $sJob);
+    $sFch = sprintf('%s\output.fch', $sJob);
+    if (file_exists($sChk)) {
+        if (!file_exists($sFch)) {
+            system(printf('formchk "%s"', $sChk));
+        }
+        copy($sFch, sprintf('%s\%d.fch', $sTarget, $iJob));
+    }
+}