| Server IP : 35.80.110.71 / Your IP : 216.73.216.221 Web Server : Apache/2.4.58 (Ubuntu) System : Linux ip-172-31-21-44 6.17.0-1019-aws #19~24.04.1-Ubuntu SMP Tue Jun 23 18:53:06 UTC 2026 x86_64 User : ubuntu ( 1000) PHP Version : 8.3.31 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : OFF Directory : /usr/share/source-highlight/ |
Upload File : |
# provided by Mark Silberbauer <mark@stonethree.com>
vardef basic_time = '[[:digit:]]{2}:[[:digit:]]{2}:[[:digit:]]{2}'
comment = '^INFO:'
keyword = '^WARNING:','^SEVERE:.*', '^Exception[[:blank:]]in[[:blank:]]thread.*'
string = '^[[:blank:]]{8}at.*'
specialchar = '[[:digit:]]{4}/[[:digit:]]{2}/[[:digit:]]{2}', $basic_time, '[[:digit:]]{1}:[[:digit:]]{2}:[[:digit:]]{2}[[:blank:]](AM|PM)', '(Jan|Feb|Mar|Apr|May|Jun|Jul|Aug|Sep|Oct|Nov|Dec)[[:blank:]][[:digit:]]{1,2},[[:blank:]]20[[:digit:]]{2}'
number = '\b[[:digit:]]+\b'
type = '[[:blank:]](?=\w*\d)\w*((_|\-)(?=\w*\d)\w*)+'