changeset 1828 | 396da88d7b5c |
parent 1783 | 3311eea28d56 |
child 1832 | 0f1081928d65 |
1827:b8b47f9b5e56 | 1828:396da88d7b5c |
---|---|
985 return String(text); |
985 return String(text); |
986 """) |
986 """) |
987 |
987 |
988 |
988 |
989 def ord(x): |
989 def ord(x): |
990 if(isString(x) and len(x) is 1): |
990 if isString(x) and len(x) is 1: |
991 JS(""" |
991 JS(""" |
992 return x.charCodeAt(0); |
992 return x.charCodeAt(0); |
993 """) |
993 """) |
994 else: |
994 else: |
995 JS(""" |
995 JS(""" |