Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-04 13:10:20 +01:00
Code Issues Projects Releases Packages Wiki Activity

Flush the android logging buffer when most recent read fills it up.

Browse source
This commit is contained in:
Josh Matthews 2018-10-15 10:47:12 -04:00
parent e75beaa8d6
commit 1332026bd4
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
ports/libsimpleservo/src/jniapi.rs
View file

@ -509,7 +509,7 @@ fn redirect_stdout_to_logcat() {
} else { } else {
cursor = 0; cursor = 0;
} }
} else if cursor == BUF_AVAILABLE { } else if end == BUF_AVAILABLE {
// No newline found but the buffer is full, flush it anyway. // No newline found but the buffer is full, flush it anyway.
// `buf.as_ptr()` is null-terminated by BUF_LENGTH being 1 less than BUF_AVAILABLE. // `buf.as_ptr()` is null-terminated by BUF_LENGTH being 1 less than BUF_AVAILABLE.
unsafe { unsafe {