39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
+
-
+
|
puts $cho "PDF plugin needs external tool 'pdftotext' to run"
return 1
}
if {[catch {llength $::Info}]} {
puts $cho "PDF plugin needs -plugininfo parameter to be a list"
return 1
}
# Use source file with pdftotext since stdin is not reliable on e.g Windows
if {[catch {exec $cand {*}$::Info - - <@ $chi >&@ $cho}]} {
if {[catch {exec $cand {*}$::Info $::File($side) - >&@ $cho}]} {
puts $cho "**************************************"
puts $cho "PDF plugin got an error from pdftotext"
}
# Signal that the file after processing should be used both
# for comparison and for displaying.
return 1
|