123
edits
Bgalbraith (talk | contribs) (→Files) |
Bgalbraith (talk | contribs) (→Files) |
||
Line 28: | Line 28: | ||
* DELETE /file/[path] to delete a file. file must not be open by anyone. | * DELETE /file/[path] to delete a file. file must not be open by anyone. | ||
* POST (or GET) /file/close/[path] to mark the file closed. The server will discard your edit history. | * POST (or GET) /file/close/[path] to mark the file closed. The server will discard your edit history. | ||
* GET /file/listopen/ to list open files. a JSON dictionary of {filename: {mode: [user names]}} will be returned. For example, if subdir1/subdir2/test.py is open readonly by bgalbs and read/write by jbellis, openfiles will return {"subdir1/subdir2/test.py": {"r": ["bgalbs"], "rw": ["jbellis"]}} | * GET /file/listopen/ to list open files. a JSON dictionary of {filename: {mode: [user names]}} will be returned. For example, if subdir1/subdir2/test.py is open readonly by bgalbs and read/write by jbellis, openfiles will return <tt>{"subdir1/subdir2/test.py": {"r": ["bgalbs"], "rw": ["jbellis"]}}</tt> |
edits