| Index: runtime/bin/file.h
|
| diff --git a/runtime/bin/file.h b/runtime/bin/file.h
|
| index 0fdc398640235f500997b2283d2e12f51313be74..d0eb44fe59f2b673e650ba7d4a4dda3658e599a0 100644
|
| --- a/runtime/bin/file.h
|
| +++ b/runtime/bin/file.h
|
| @@ -102,7 +102,10 @@ class File {
|
| bool Truncate(int64_t length);
|
|
|
| // Flush contents of file.
|
| - void Flush();
|
| + bool Flush();
|
| +
|
| + // Returns whether the file has been closed.
|
| + bool IsClosed();
|
|
|
| const char* name() const { return name_; }
|
|
|
| @@ -134,7 +137,6 @@ class File {
|
| private:
|
| File(const char* name, FileHandle* handle) : name_(name), handle_(handle) { }
|
| void Close();
|
| - bool IsClosed();
|
|
|
| static const int kClosedFd = -1;
|
|
|
|
|