808 staticBufferStream::staticBufferStream(char* buffer, size_t buflen, |
808 staticBufferStream::staticBufferStream(char* buffer, size_t buflen, |
809 outputStream *outer_stream) { |
809 outputStream *outer_stream) { |
810 _buffer = buffer; |
810 _buffer = buffer; |
811 _buflen = buflen; |
811 _buflen = buflen; |
812 _outer_stream = outer_stream; |
812 _outer_stream = outer_stream; |
|
813 // compile task prints time stamp relative to VM start |
|
814 _stamp.update_to(1); |
813 } |
815 } |
814 |
816 |
815 void staticBufferStream::write(const char* c, size_t len) { |
817 void staticBufferStream::write(const char* c, size_t len) { |
816 _outer_stream->print_raw(c, (int)len); |
818 _outer_stream->print_raw(c, (int)len); |
817 } |
819 } |