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

cafe-grader-web

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

Commit Description:

- fix link to user stat from user admin...

Commit Description:

- fix link to user stat from user admin - add compiler message to submission view - fix some bugs

References:

r611:5599f91f430d java

File last commit:

r584:056392c00e67 java

Show/Diff file:

Action:

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

      __all__ = ["Error", "open", "open_new", "open_new_tab"]

      class Error(Exception):

          pass

      _target = { 0: '', 1: '_blank', 2: '_new' }  # hack...

      def open(url, new=0, autoraise=True):

          """ 

          new window or tab is not controllable

          on the client side. autoraise not available.

          """

          # javascript window.open doesn't work if you do not specify the protocol

          # A solution is the next hack:

          if '://' in url:

              if url[:6] == 'ftp://':

                  print('entro')

              else:

                  protocol = url.split('//:')[0]

                  url = url.replace(protocol + '//:', '//')

          else:

              url = '//' + url

          print(url)

          if window.open(url, _target[new]):

      		return True

          return False

      def open_new(url):

          return open(url, 1)

      def open_new_tab(url):

          return open(url, 2)

	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

				__all__ = ["Error", "open", "open_new", "open_new_tab"]

				class Error(Exception):
				pass

				_target = { 0: '', 1: '_blank', 2: '_new' } # hack...


				def open(url, new=0, autoraise=True):
				"""
				new window or tab is not controllable
				on the client side. autoraise not available.
				"""
				# javascript window.open doesn't work if you do not specify the protocol
				# A solution is the next hack:
				if '://' in url:
				if url[:6] == 'ftp://':
				print('entro')
				else:
				protocol = url.split('//:')[0]
				url = url.replace(protocol + '//:', '//')
				else:
				url = '//' + url
				print(url)
				if window.open(url, _target[new]):
				return True
				return False

				def open_new(url):
				return open(url, 1)

				def open_new_tab(url):
				return open(url, 2)