| changeset 2621 | 956ff066f3a5 |
| parent 2619 | bc2786a00fb8 |
| child 2622 | 39932161194e |
| 2620:796269129c47 | 2621:956ff066f3a5 |
|---|---|
584 {$I+} |
584 {$I+} |
585 |
585 |
586 finalization |
586 finalization |
587 //uRandom.DumpBuffer; |
587 //uRandom.DumpBuffer; |
588 |
588 |
589 writeln(f, 'halt at ', GameTicks, ' ticks'); |
589 writeln(f, 'halt at ', GameTicks, ' ticks. TurnTimeLeft = ', TurnTimeLeft); |
590 flush(f); |
590 flush(f); |
591 close(f) |
591 close(f) |
592 |
592 |
593 {$ENDIF} |
593 {$ENDIF} |
594 |
594 |