cafe-grader-web Files · lib/assets/Lib/browser/websocket.py

cafe-grader-web

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

Commit Description:

fix destroy for user and problem...

Commit Description:

fix destroy for user and problem (grafted from 56e542ecc72e8d85b776f34c64fe90d3ea4ae9e9)

References:

r656:970cebee99d6 default

File last commit:

r584:056392c00e67 java

Show/Diff file:

Action:

            
                    lib/assets/Lib/browser/websocket.py
                
             | 9 lines
             | 260 B
             | text/x-python 
             | PythonLexer
             | 
      
            History
        
           Show Full History
         |
          Annotation
         | Raw
         |
              
              Download
              
      from browser import window

      import javascript

      if hasattr(window, 'WebSocket'):

          supported = True

          WebSocket = javascript.JSConstructor(window.WebSocket)

      else:

          supported = False

          def WebSocket(*args,**kw):

              raise NotImplementedError

	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

				from browser import window
				import javascript

				if hasattr(window, 'WebSocket'):
				supported = True
				WebSocket = javascript.JSConstructor(window.WebSocket)
				else:
				supported = False
				def WebSocket(args,*kw):
				raise NotImplementedError