Index: chrome/common/extensions/docs/server2/file_system.py |
diff --git a/chrome/common/extensions/docs/server2/file_system.py b/chrome/common/extensions/docs/server2/file_system.py |
index 617d43ab2e4becc89d8f3ee46b78d2b1e70d2c95..23d52f01ee82596b18d7d3480f437b06e10d2c9d 100644 |
--- a/chrome/common/extensions/docs/server2/file_system.py |
+++ b/chrome/common/extensions/docs/server2/file_system.py |
@@ -21,7 +21,7 @@ class FileSystem(object): |
def __init__(self, version): |
self.version = version |
- def Read(self, paths): |
+ def Read(self, paths, process=True): |
not at google - send to devlin
2012/07/27 04:54:36
always prefer false-by-default values.
how about
cduvall
2012/07/27 18:12:28
Done.
|
"""Reads each file in paths and returns a dictionary mapping the path to the |
contents. If a path in paths ends with a '/', it is assumed to be a |
directory, and a list of files in the directory is mapped to the path. |