Annotation of parser3/src/www/htdocs/auto.p, revision 1.30
1.20 paf 1: @auto[]
1.30 ! parser 2: $limits[
! 3: $.post_max_size(10*0x400*0x400)
! 4: ]
! 5: $defaults[
! 6: $.content-type0[text/html]
! 7: $.content-type[
! 8: $.value[text/html]
! 9: $.charset[windows-1251]
! 10: ]
! 11: ]
! 12:
1.27 parser 13: $SQL[
1.29 parser 14: $.drivers[^table::set{protocol driver client
1.27 parser 15: mysql d:\Y\parser3\src\sql\mysql\debug\parser3mysql.dll d:\y\parser3\src\sql\mysql\mySQL32\lib\opt\libmySQL.dll
16: odbc d:\y\parser3\src\sql\odbc\Debug\parser3odbc.dll
17: }]
18: ]
19:
1.26 parser 20: #$ORIGINS(1)
1.28 parser 21: $user-html[^table::set{user html comment
1.24 parser 22: << «^; длинные user вперёд
23: >> »^;
24: \n\n <p> !эти есть в таблице по умолчанию
25: \n <br> !но т.к. заменяем, надо повторить.
26: < <^; !можно этим воспользоваться,
27: > >^; !и что-то сделать ДО обычных замен
28: " "^; !например из << и >>
29: & &^; !сделать ёлочки-кавычки.
30: _  ^;
31: ^#AB «^; windows коды ёлочек
32: ^#BB »^; windows коды ёлочек
33: (c) ©^;
34: ^#A9 ©^; windows (c)
35: }]
1.30 ! parser 36:
! 37:
1.28 parser 38: #for ^file::load[name;user-name;mime-type << autodetection]
39: $MIME-TYPES[^table::set{ext mime-type
1.24 parser 40: zip application/zip
41: doc application/msword
42: xls application/vnd.ms-excel
43: pdf application/pdf
44: ppt application/powerpoint
45: rtf application/rtf
46: gif image/gif
47: jpg image/jpeg
48: png image/png
49: tif image/tiff
50: html text/html
51: htm text/html
52: txt text/plain
53: mts application/metastream
54: mid audio/midi
55: midi audio/midi
56: mp3 audio/mpeg
57: ram audio/x-pn-realaudio
58: rpm audio/x-pn-realaudio-plugin
59: ra audio/x-realaudio
60: wav audio/x-wav
61: au audio/basic
62: mpg video/mpeg
63: avi video/x-msvideo
64: mov video/quicktime
65: swf application/x-shockwave-flash
66: }]
67:
1.30 ! parser 68: @exception[origin;source;comment;type;code]
! 69: ROOT_ERROR:
! 70: ^if(def $source){$origin '$source'}
! 71: ${comment}.
! 72: ^if(def $type){type=$type}
! 73: ^if(def $code){code=$code}
E-mail: