| changeset 916 | 1d0022336fbb |
| parent 915 | 33040b7695c0 |
| child 945 | 4ead9cde4e14 |
| 915:33040b7695c0 | 916:1d0022336fbb |
|---|---|
344 if IOResult = 0 then break |
344 if IOResult = 0 then break |
345 end; |
345 end; |
346 {$I+} |
346 {$I+} |
347 |
347 |
348 finalization |
348 finalization |
349 uRandom.DumpBuffer; |
349 //uRandom.DumpBuffer; |
350 writeln(f, '-= halt at ',GameTicks,' ticks =-'); |
350 writeln(f, '-= halt at ',GameTicks,' ticks =-'); |
351 Flush(f); |
351 Flush(f); |
352 close(f) |
352 close(f) |
353 {$ENDIF} |
353 {$ENDIF} |
354 |
354 |