view tests/sitecustomize.py @ 23614:cd79fb4d75fd

share: add option to share bookmarks

This patch adds the -B/--bookmarks option to the share command added by the
share extension. All it does for now is create a marker, 'bookmarks.shared',
that will be used by future code to implement the sharing functionality.

try:
    import coverage
    getattr(coverage, 'process_startup', lambda: None)()
except ImportError:
    pass