equal
deleted
inserted
replaced
91 AddFileLog('Error: Could not read from ' + filename); |
91 AddFileLog('Error: Could not read from ' + filename); |
92 exit(false); |
92 exit(false); |
93 end; |
93 end; |
94 {$IOCHECKS ON} |
94 {$IOCHECKS ON} |
95 |
95 |
96 // store some description in output file |
96 { Store some description in output file. |
|
97 The comment must follow a particular format and must be in English. |
|
98 This will be parsed by the frontend. |
|
99 The frontend will parse lines of this format: |
|
100 Key: Value |
|
101 The key names will be localized in the frontend. |
|
102 If you add a key/value pair, don't forget to add a localization |
|
103 in the frontend! } |
97 desc:= ''; |
104 desc:= ''; |
98 if UserNick <> '' then |
105 if UserNick <> '' then |
99 desc:= desc + 'Player: ' + UserNick + #10; |
106 desc:= desc + 'Player: ' + UserNick + #10; |
100 if recordFileName <> '' then |
107 if recordFileName <> '' then |
101 desc:= desc + 'Record: ' + recordFileName + #10; |
108 desc:= desc + 'Record: ' + recordFileName + #10; |