diff options
author | Joey Hess <joey@gnu.kitenet.net> | 2009-10-03 15:46:53 -0400 |
---|---|---|
committer | Joey Hess <joey@gnu.kitenet.net> | 2009-10-03 15:50:22 -0400 |
commit | 26dbc09bd88ba6c33c18995c2b028726c370012f (patch) | |
tree | f135655555cc7700872dd14d9e882f6b218641fe /plugins/proxy.py | |
parent | 49b71d0615f3ec995e8958ede6baaae8524d1986 (diff) |
implement support for DEPEND_EXISTS
Preliminary support, anyway.
If a dependency only includes DEPEND_EXISTS, then only changes that
involved adding or deleting a page can trigger it.
This is complicated by internal pages, since the code did not previously
differentiate between add, delete, and change of internal pages.
Now it tracks change separately from add+delete, so DEPEND_EXISTS pagespecs
that actually match internal pages (which will probably be quite rare in
practice) should work.
Diffstat (limited to 'plugins/proxy.py')
0 files changed, 0 insertions, 0 deletions