|
|
| version 1.2, 2016/09/01 14:08:38 | version 1.5, 2024/12/13 13:28:36 |
|---|---|
| Line 1 | Line 1 |
| @main[] | @main[] |
| ^curl:options[ $.library[no-such-library.so] ] | 1. ^curl:options[ $.library[no-such-library.ext] ] |
| ^try-catch{ ^curl:session{ } } | 2. ^try-catch{ ^curl:session{ } } |
| ^try-catch{ ^curl:session{ } } | 3. ^try-catch{ ^curl:session{ } } |
| ^curl:options[ $.library[another-library.so] ] | 4. ^curl:options[ $.library[another-library.ext] ] |
| ^try-catch{ ^curl:session{ } } | 5. ^try-catch{ ^curl:session{ } } |
| ^curl:options[ $.library[libcurl.so] ] | 6. ^curl:options[ $.library[] ] |
| ^curl:session{ OK } | 7. ^try-catch{ ^curl:session{ OK } } |
| @try-catch[jCode] | @try-catch[jCode] |
| ^try{$jCode}{ | ^try{$jCode}{ |
| $exception.handled(true) | $exception.handled(1) |
| Type: $exception.type, | Exception type: $exception.type, |
| Source: $exception.source, | Source: $exception.source, |
| Comment: ^exception.comment.left(46) | Comment: ^exception.comment.match[(failed to load curl library).*(no-such-library.ext|another-library.ext).*][]{$match.1 ... $match.2 ...} |
| } | } |