cafe-grader-web Files · lib/assets/Lib/html/__init_

cafe-grader-web

Location: cafe-grader-web/lib/assets/Lib/html/init.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/html/__init__.py
                
             | 21 lines
             | 725 B
             | text/x-python 
             | PythonLexer
             | 
      
            History
        
           Show Full History
         |
          Annotation
         | Raw
         |
              
              Download
              
      """

      General functions for HTML manipulation.

      """

      _escape_map = {ord('&'): '&amp;', ord('<'): '&lt;', ord('>'): '&gt;'}

      _escape_map_full = {ord('&'): '&amp;', ord('<'): '&lt;', ord('>'): '&gt;',

                          ord('"'): '&quot;', ord('\''): '&#x27;'}

      # NB: this is a candidate for a bytes/string polymorphic interface

      def escape(s, quote=True):

          """

          Replace special characters "&", "<" and ">" to HTML-safe sequences.

          If the optional flag quote is true (the default), the quotation mark

          characters, both double quote (") and single quote (') characters are also

          translated.

          """

          if quote:

              return s.translate(_escape_map_full)

          return s.translate(_escape_map)

	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

				"""
				General functions for HTML manipulation.
				"""


				_escape_map = {ord('&'): '&', ord('<'): '<', ord('>'): '>'}
				_escape_map_full = {ord('&'): '&', ord('<'): '<', ord('>'): '>',
				ord('"'): '"', ord('\''): '''}

				# NB: this is a candidate for a bytes/string polymorphic interface

				def escape(s, quote=True):
				"""
				Replace special characters "&", "<" and ">" to HTML-safe sequences.
				If the optional flag quote is true (the default), the quotation mark
				characters, both double quote (") and single quote (') characters are also
				translated.
				"""
				if quote:
				return s.translate(_escape_map_full)
				return s.translate(_escape_map)

Sign in to your account

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

Last Author

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