5 require('WebStone-common.pl');
9 if ($runsdir ne $oldrunsdir) {
10 print CLIENT
"<BODY>Moving $oldrunsdir to $runsdir...";
12 print CLIENT
"<STRONG>Error: $runsdir already exists!</STRONG>";
14 rename($oldrunsdir, $runsdir);
15 print CLIENT
"<P>Done.";
19 print CLIENT
"<STRONG>Can't move $runsdir <P>to $oldrunsdir</STRONG>";