File: context.py

package info (click to toggle)
mozjs140 140.7.0-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 1,216,752 kB
  • sloc: javascript: 2,267,210; cpp: 1,423,664; python: 966,252; ansic: 632,297; xml: 115,965; sh: 15,392; asm: 13,399; makefile: 10,455; yacc: 4,504; perl: 2,223; lex: 1,414; ruby: 1,064; exp: 756; java: 185; sql: 66; sed: 18
file content (20 lines) | stat: -rw-r--r-- 481 bytes parent folder | download | duplicates (54) 
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)