cafe-grader-web Files · lib/assets/Lib/browser/session

cafe-grader-web

Location: cafe-grader-web/lib/assets/Lib/browser/session_storage.py

Commit Description:

make group_user and group_problem unique

Commit Description:

make group_user and group_problem unique

References:

r678:6d499b0bc3c9 java

File last commit:

r584:056392c00e67 java

Show/Diff file:

Action:

            
                    lib/assets/Lib/browser/session_storage.py
                
             | 19 lines
             | 517 B
             | text/x-python 
             | PythonLexer
             | 
      
            History
        
           Show Full History
         |
          Annotation
         | Raw
         |
              
              Download
              
      # session storage in browser

      import sys

      from javascript import JSObject

      from browser import window

      from .local_storage import LocalStorage

      has_session_storage = hasattr(window, 'sessionStorage')

      class SessionStorage(LocalStorage):

          storage_type = "session_storage"

          def __init__(self):

              if not has_session_storage:

                  raise EnvironmentError("SessionStorage not available")

              self.store = window.sessionStorage

      if has_session_storage:

          storage = SessionStorage()

	Site-wide shortcuts
/	Use quick search box
g h	Goto home page
g g	Goto my private gists page
g G	Goto my public gists page
n r	New repository page
n g	New gist page

	Repositories
g s	Goto summary page
g c	Goto changelog page
g f	Goto files page
g F	Goto files page with file search activated
g p	Goto pull requests page
g o	Goto repository settings
g O	Goto repository permissions settings

Sign in to your account

Last Author

				# session storage in browser
				import sys
				from javascript import JSObject
				from browser import window
				from .local_storage import LocalStorage

				has_session_storage = hasattr(window, 'sessionStorage')

				class SessionStorage(LocalStorage):

				storage_type = "session_storage"

				def __init__(self):
				if not has_session_storage:
				raise EnvironmentError("SessionStorage not available")
				self.store = window.sessionStorage

				if has_session_storage:
				storage = SessionStorage()