diff options
| author | Dave Sparks <davidsparks@android.com> | 2010-09-27 16:55:18 -0700 |
|---|---|---|
| committer | Dave Sparks <davidsparks@android.com> | 2010-09-27 17:04:05 -0700 |
| commit | 02fa834249a01144d6f23137951538600aa5d611 (patch) | |
| tree | 8cfc2546431c46811d988c8976679fbc75143e0e | |
| parent | 4a73f3da3501db6e95473a4a653d6319c6d618e2 (diff) | |
| download | frameworks_av-02fa834249a01144d6f23137951538600aa5d611.zip frameworks_av-02fa834249a01144d6f23137951538600aa5d611.tar.gz frameworks_av-02fa834249a01144d6f23137951538600aa5d611.tar.bz2 | |
Fix media.player dumpsys to output open/mapped files correctly. Bug 2866669.
The dump function whitelists several directories as filters to the output.
The mount point changed for SD card in Froyo, and we started filtering files
that were open on the SD card. This fix changes the filter for the SD card,
and adds the directory for data files as well.
Change-Id: I61b67c3d11d93dbd530e8b3566000e79bc037137
| -rw-r--r-- | media/libmediaplayerservice/MediaPlayerService.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/media/libmediaplayerservice/MediaPlayerService.cpp b/media/libmediaplayerservice/MediaPlayerService.cpp index aba5f52..d975cb9 100644 --- a/media/libmediaplayerservice/MediaPlayerService.cpp +++ b/media/libmediaplayerservice/MediaPlayerService.cpp @@ -534,8 +534,9 @@ status_t MediaPlayerService::dump(int fd, const Vector<String16>& args) if (f) { while (!feof(f)) { fgets(buffer, SIZE, f); - if (strstr(buffer, " /sdcard/") || + if (strstr(buffer, " /mnt/sdcard/") || strstr(buffer, " /system/sounds/") || + strstr(buffer, " /data/") || strstr(buffer, " /system/media/")) { result.append(" "); result.append(buffer); @@ -569,8 +570,9 @@ status_t MediaPlayerService::dump(int fd, const Vector<String16>& args) } else { linkto[len] = 0; } - if (strstr(linkto, "/sdcard/") == linkto || + if (strstr(linkto, "/mnt/sdcard/") == linkto || strstr(linkto, "/system/sounds/") == linkto || + strstr(linkto, "/data/") == linkto || strstr(linkto, "/system/media/") == linkto) { result.append(" "); result.append(buffer); |