File: context.py

package info (click to toggle)
mozjs128 128.14.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 1,132,528 kB
  • sloc: javascript: 2,181,430; cpp: 1,371,420; python: 776,651; ansic: 641,398; xml: 117,736; sh: 17,537; asm: 13,468; makefile: 11,191; yacc: 4,504; perl: 2,221; lex: 1,414; ruby: 1,032; exp: 756; java: 185; sql: 66; sed: 18
file content (20 lines) | stat: -rw-r--r-- 481 bytes parent folder | download | duplicates (51) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
 
import contextlib


def set_context(session, context):
    session.send_session_command("POST", "moz/context", {"context": context})


@contextlib.contextmanager
def using_context(session, context):
    orig_context = session.send_session_command("GET", "moz/context")
    needs_change = context != orig_context

    if needs_change:
        set_context(session, context)

    try:
        yield
    finally:
        if needs_change:
            set_context(session, orig_context)