Rev 1408 | Rev 1616 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1408 | Rev 1604 | ||
---|---|---|---|
Line 97... | Line 97... | ||
97 | }; |
97 | }; |
98 | 98 | ||
Line 99... | Line 99... | ||
99 | int vsnprintf(char *s, size_t n, const char *format, va_list arg); |
99 | int vsnprintf(char *s, size_t n, const char *format, va_list arg); |
Line -... | Line 100... | ||
- | 100 | ||
100 | 101 | ||
101 | int printf(const char* format, ...) |
102 | int printf(const char* format, ...) |
102 | { |
103 | { |
103 | char txtbuf[256]; |
104 | char txtbuf[256]; |
Line 133... | Line 134... | ||
133 | if( len ) |
134 | if( len ) |
134 | { |
135 | { |
135 | SysMsgBoardStr(txtbuf); |
136 | SysMsgBoardStr(txtbuf); |
Line -... | Line 137... | ||
- | 137 | ||
- | 138 | /* do not write into log file if interrupts disabled */ |
|
136 | 139 | ||
137 | if(dbgfile.path) |
140 | if ( (get_eflags() & (1 << 9)) && dbgfile.path) |
138 | { |
141 | { |
139 | write_file(dbgfile.path,txtbuf,dbgfile.offset,len,&writes); |
142 | write_file(dbgfile.path,txtbuf,dbgfile.offset,len,&writes); |
140 | dbgfile.offset+=writes; |
143 | dbgfile.offset+=writes; |
141 | }; |
144 | }; |