source: gsdl/trunk/perllib/plugins/PagedImagePlugin.pm@ 18327

Last change on this file since 18327 was 18327, checked in by ak19, 15 years ago

Extra parameter to new doc(): the renaming method to be used on the file (base64 or URL encoding).

  • Property svn:executable set to *
  • Property svn:keywords set to Author Date Id Revision
File size: 21.8 KB
Line 
1###########################################################################
2#
3# PagedImagePlugin.pm -- plugin for sets of images and OCR text that
4# make up a document
5# A component of the Greenstone digital library software
6# from the New Zealand Digital Library Project at the
7# University of Waikato, New Zealand.
8#
9# Copyright (C) 1999 New Zealand Digital Library Project
10#
11# This program is free software; you can redistribute it and/or modify
12# it under the terms of the GNU General Public License as published by
13# the Free Software Foundation; either version 2 of the License, or
14# (at your option) any later version.
15#
16# This program is distributed in the hope that it will be useful,
17# but WITHOUT ANY WARRANTY; without even the implied warranty of
18# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
19# GNU General Public License for more details.
20#
21# You should have received a copy of the GNU General Public License
22# along with this program; if not, write to the Free Software
23# Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
24#
25###########################################################################
26
27# PagedImagePlugin
28# processes sequences of images, with optional OCR text
29#
30# This plugin takes *.item files, which contain metadata and lists of image
31# files, and produces a document containing sections, one for each page.
32# The files should be named something.item, then you can have more than one
33# book in a directory. You will need to create these files, one for each
34# document/book.
35#
36#There are two formats for the item files: a plain text format, and an xml
37#format. You can use either format, and can have both formats in the same
38#collection if you like. If you use the plain format, you must not start the
39#file off with <PagedDocument>
40
41#### PLAIN FORMAT
42# The format of the xxx.item file is as follows:
43# The first lines contain any metadata for the whole document
44# <metadata-name>metadata-value
45# eg.
46# <Title>Snail farming
47# <Date>19230102
48# Then comes a list of pages, one page per line, each line has the format
49#
50# pagenum:imagefile:textfile:r
51#
52# page num and imagefile are required. pagenum is used for the Title
53# of the section, and in the display is shown as page <pagenum>.
54# imagefile is the image for the page. textfile is an optional text
55# file containing the OCR (or any) text for the page - this gets added
56# as the text for the section. r is optional, and signals that the image
57# should be rotated 180deg. Eg use this if the image has been made upside down.
58# So an example item file looks like:
59# <Title>Snail farming
60# <Date>19960403
61# 1:p1.gif:p1.txt:
62# 2:p2.gif::
63# 3:p3.gif:p3.txt:
64# 3b:p3b.gif:p3b.txt:r
65# The second page has no text, the fourth page is a back page, and
66# should be rotated.
67#
68
69#### XML FORMAT
70# The xml format looks like the following
71#<PagedDocument>
72#<Metadata name="Title">The Title of the entire document</Metadata>
73#<Page pagenum="1" imgfile="xxx.jpg" txtfile="yyy.txt">
74#<Metadata name="Title">The Title of this page</Metadata>
75#</Page>
76#... more pages
77#</PagedDocument>
78#PagedDocument contains a list of Pages, Metadata and PageGroups. Any metadata
79#that is not inside another tag will belong to the document.
80#Each Page has a pagenum (not used at the moment), an imgfile and/or a txtfile.
81#These are both optional - if neither is used, the section will have no content.
82#Pages can also have metadata associated with them.
83#PageGroups can be introduced at any point - they can contain Metadata and Pages and other PageGroups. They are used to introduce hierarchical structure into the document.
84#For example
85#<PagedDocument>
86#<PageGroup>
87#<Page>
88#<Page>
89#</PageGroup>
90#<Page>
91#</PagedDocument>
92#would generate a structure like
93#X
94#--X
95# --X
96# --X
97#--X
98#PageGroup tags can also have imgfile/textfile metadata if you like - this way they get some content themselves.
99
100#Currently the XML structure doesn't work very well with the paged document type, unless you use numerical Titles for each section.
101#There is still a bit of work to do on this format:
102#* enable other text file types, eg html, pdf etc
103#* make the document paging work properly
104#* add pagenum as Title unless a Title is present?
105
106# All the supplemetary image amd text files should be in the same folder as
107# the .item file.
108#
109# To display the images instead of the document text, you can use [srcicon]
110# in the DocumentText format statement.
111# For example,
112#
113# format DocumentText "<center><table width=_pagewidth_><tr><td>[srcicon]</td></tr></table></center>"
114#
115# To have it create thumbnail size images, use the '-create_thumbnail' option.
116# To have it create medium size images for display, use the '-create_screenview'
117# option. As usual, running
118# 'perl -S pluginfo.pl PagedImagePlugin' will list all the options.
119
120# If you want the resulting documents to be presented with a table of
121# contents, use '-documenttype hierarchy', otherwise they will have
122# next and previous arrows, and a goto page X box.
123
124# If you have used -create_screenview, you can also use [screenicon] in the format
125# statement to display the smaller image. Here is an example that switches
126# between the two:
127#
128# format DocumentText "<center><table width=_pagewidth_><tr><td>{If}{_cgiargp_ eq full,<a href='_httpdocument_&d=_cgiargd_&p=small'>Switch to small version.</a>,<a href='_httpdocument_&d=_cgiargd_&p=full'>Switch to fullsize version</a>}</td></tr><tr><td>{If}{_cgiargp_ eq full,<a href='_httpdocument_&d=_cgiargd_&p=small' title='Switch to small version'>[srcicon]</a>,<a href='_httpdocument_&d=_cgiargd_&p=full' title='Switch to fullsize version'>[screenicon]</a>}</td></tr></table></center>"
129#
130# Additional metadata can be added into the .item files, alternatively you can
131# use normal metadata.xml files, with the name of the xxx.item file as the
132# FileName (only for document level metadata).
133
134package PagedImagePlugin;
135
136use ReadXMLFile;
137use ReadTextFile;
138use ImageConverter;
139
140use strict;
141no strict 'refs'; # allow filehandles to be variables and viceversa
142
143sub BEGIN {
144 @PagedImagePlugin::ISA = ('ReadXMLFile', 'ReadTextFile', 'ImageConverter');
145}
146
147my $type_list =
148 [ { 'name' => "paged",
149 'desc' => "{PagedImagePlugin.documenttype.paged}" },
150 { 'name' => "hierarchy",
151 'desc' => "{PagedImagePlugin.documenttype.hierarchy}" } ];
152
153my $arguments =
154 [ { 'name' => "process_exp",
155 'desc' => "{BasePlugin.process_exp}",
156 'type' => "string",
157 'deft' => &get_default_process_exp(),
158 'reqd' => "no" },
159 { 'name' => "block_exp",
160 'desc' => "{BasePlugin.block_exp}",
161 'type' => "string",
162 'deft' => &get_default_block_exp(),
163 'reqd' => "no" },
164 { 'name' => "title_sub",
165 'desc' => "{HTMLPlugin.title_sub}",
166 'type' => "string",
167 'deft' => "" },
168 { 'name' => "headerpage",
169 'desc' => "{PagedImagePlugin.headerpage}",
170 'type' => "flag",
171 'reqd' => "no" },
172 { 'name' => "documenttype",
173 'desc' => "{PagedImagePlugin.documenttype}",
174 'type' => "enum",
175 'list' => $type_list,
176 'deft' => "paged",
177 'reqd' => "no" } ];
178
179
180my $options = { 'name' => "PagedImagePlugin",
181 'desc' => "{PagedImagePlugin.desc}",
182 'abstract' => "no",
183 'inherits' => "yes",
184 'args' => $arguments };
185
186sub new {
187 my ($class) = shift (@_);
188 my ($pluginlist,$inputargs,$hashArgOptLists) = @_;
189 push(@$pluginlist, $class);
190
191 push(@{$hashArgOptLists->{"ArgList"}},@{$arguments});
192 push(@{$hashArgOptLists->{"OptList"}},$options);
193
194 my $imc_self = new ImageConverter($pluginlist, $inputargs, $hashArgOptLists);
195 my $rtf_self = new ReadTextFile($pluginlist, $inputargs, $hashArgOptLists, 1);
196 my $rxf_self = new ReadXMLFile($pluginlist, $inputargs, $hashArgOptLists);
197
198 my $self = BasePlugin::merge_inheritance($imc_self,$rtf_self,$rxf_self);
199
200 # Update $self used by XML::Parser so it finds callback functions
201 # such as start_document here and not in ReadXMLFile (which is what
202 # $self was when new XML::Parser was done)
203 #
204 # If the $self returned by this constructor is the same as the one
205 # used in ReadXMLFile (e.g. in the GreenstoneXMLPlugin) then this step isn't necessary
206 #
207 # Consider embedding this type of assignment into merge_inheritance
208 # to help catch all cases?
209
210 $rxf_self->{'parser'}->{'PluginObj'} = $self;
211
212 return bless $self, $class;
213}
214
215
216sub init {
217 my $self = shift (@_);
218 my ($verbosity, $outhandle, $failhandle) = @_;
219
220 $self->SUPER::init(@_);
221 $self->ImageConverter::init();
222}
223
224sub begin {
225 my $self = shift (@_);
226 my ($pluginfo, $base_dir, $processor, $maxdocs) = @_;
227
228 $self->SUPER::begin(@_);
229 $self->ImageConverter::begin();
230}
231
232sub get_default_process_exp {
233 my $self = shift (@_);
234
235 return q^\.item$^;
236}
237
238sub get_doctype {
239 my $self = shift(@_);
240
241 return "PagedDocument";
242}
243
244
245# want to block everything except the .item ones
246# but instead we will block images and txt files
247sub get_default_block_exp {
248 my $self = shift (@_);
249
250 return q^(?i)(\.jpe?g|\.gif|\.png|\.tif?f|\.te?xt|\.html?|~)$^
251### return q^(?i)(\.jpe?g|\.gif|\.png|\.tif?f|\.te?xt|\.html?|\.css|\.opd|\.pdf|~)$^
252}
253
254# want to use BasePlugin's version of this, not ReadXMLFile's
255sub can_process_this_file {
256 my $self = shift(@_);
257
258 return $self->BasePlugin::can_process_this_file(@_);
259}
260
261# we want to use BasePlugin's read, not ReadXMLFile's
262sub read
263{
264 my $self = shift (@_);
265
266 $self->BasePlugin::read(@_);
267}
268
269
270sub read_into_doc_obj {
271 my $self = shift (@_);
272 my ($pluginfo, $base_dir, $file, $block_hash, $metadata, $processor, $maxdocs, $total_count, $gli) = @_;
273 my $outhandle = $self->{'outhandle'};
274 my $verbosity = $self->{'verbosity'};
275
276 my ($filename_full_path, $filename_no_path) = &util::get_full_filenames($base_dir, $file);
277
278 print $outhandle "PagedImagePlugin processing \"$filename_full_path\"\n"
279 if $verbosity > 1;
280 print STDERR "<Processing n='$file' p='PagedImagePlugin'>\n" if ($gli);
281
282
283 # here we need to decide if we have an old text .item file, or a new xml
284 # .item file
285 my $xml_version = $self->is_xml_item_file($filename_full_path);
286
287 $self->tidy_item_file($filename_full_path);
288
289 my $doc_obj;
290 if ($xml_version) {
291 # careful checking needed here!! are we using local xml handlers or super ones
292 $self->ReadXMLFile::read($pluginfo, $base_dir, $file, $block_hash, $metadata, $processor, $maxdocs, $total_count, $gli);
293 $doc_obj = $self->{'doc_obj'};
294 } else {
295 my ($dir);
296 ($dir, $file) = $filename_full_path =~ /^(.*?)([^\/\\]*)$/;
297
298 #process the .item file
299 $doc_obj = $self->process_item($filename_full_path, $dir, $file, $processor);
300
301 }
302
303 my $section = $doc_obj->get_top_section();
304
305 $doc_obj->add_utf8_metadata($section, "Plugin", "$self->{'plugin_type'}");
306 $doc_obj->add_metadata($section, "FileFormat", "PagedImage");
307
308 # include any metadata passed in from previous plugins
309 # note that this metadata is associated with the top level section
310 $self->add_associated_files($doc_obj, $filename_full_path);
311 $self->extra_metadata ($doc_obj, $section, $metadata);
312 $self->auto_extract_metadata ($doc_obj);
313
314 # if we haven't found any Title so far, assign one
315 $self->title_fallback($doc_obj,$section,$filename_no_path);
316
317 $self->add_OID($doc_obj);
318 return (1,$doc_obj);
319}
320
321# for now, the test is if the first non-empty line is <PagedDocument>, then its xml
322sub is_xml_item_file {
323 my $self = shift(@_);
324 my ($filename) = @_;
325
326 my $xml_version = 0;
327 open (ITEMFILE, $filename) || die "couldn't open $filename\n";
328
329 my $line = "";
330 my $num = 0;
331 $line = <ITEMFILE>;
332 while ($line !~ /\w/) {
333 $line = <ITEMFILE>;
334 }
335 chomp $line;
336 if ($line =~ /<PagedDocument/) {
337 $xml_version = 1;
338 }
339 close ITEMFILE;
340 return $xml_version;
341}
342
343sub tidy_item_file {
344 my $self = shift(@_);
345 my ($filename) = @_;
346
347 open (ITEMFILE, $filename) || die "couldn't open $filename\n";
348 my $backup_filename = "backup.item";
349 open (BACKUP,">$backup_filename")|| die "couldn't write to $backup_filename\n";
350 my $line = "";
351 $line = <ITEMFILE>;
352 $line =~ s/^\xEF\xBB\xBF//; # strip BOM
353 $line =~ s/\x0B+//ig;
354 $line =~ s/&/&amp;/g;
355 print BACKUP ($line);
356 #Tidy up the item file some metadata title contains \vt-vertical tab
357 while ($line = <ITEMFILE>) {
358 $line =~ s/\x0B+//ig;
359 $line =~ s/&/&amp;/g;
360 print BACKUP ($line);
361 }
362 close ITEMFILE;
363 close BACKUP;
364 &File::Copy::copy ($backup_filename, $filename);
365 &util::rm($backup_filename);
366
367}
368
369sub rotate_image {
370 my $self = shift (@_);
371 my ($filename_full_path) = @_;
372
373 my ($this_filetype) = $filename_full_path =~ /\.([^\.]*)$/;
374 my $result = $self->convert($filename_full_path, $this_filetype, "-rotate 180", "ROTATE");
375 my ($new_filename) = ($result =~ /=>(.*\.$this_filetype)/);
376 if (-e "$new_filename") {
377 return $new_filename;
378 }
379 # somethings gone wrong
380 return $filename_full_path;
381
382}
383
384sub process_image {
385 my $self = shift(@_);
386 my ($filename_full_path, $filename_no_path, $doc_obj, $section, $rotate) = @_;
387 # do rotation
388 if ((defined $rotate) && ($rotate eq "r")) {
389 # check the filenames
390 return 0 if ($filename_no_path eq "" || !-f $filename_full_path);
391
392 # we get a new temporary file which is rotated
393 $filename_full_path = $self->rotate_image($filename_full_path);
394 }
395
396 # do generate images
397 my $result = 0;
398 if ($self->{'image_conversion_available'} == 1) {
399 # do we need to convert $filename_no_path to utf8? We are already reading in from a file, what encoding is it in???
400 $result = $self->generate_images($filename_full_path, $filename_no_path, $doc_obj, $section);
401 }
402 #overwrite one set in ImageConverter
403 $doc_obj->set_metadata_element ($section, "FileFormat", "PagedImage");
404 return $result;
405}
406
407
408sub xml_start_tag {
409 my $self = shift(@_);
410 my ($expat, $element) = @_;
411 $self->{'element'} = $element;
412
413 my $doc_obj = $self->{'doc_obj'};
414 if ($element eq "PagedDocument") {
415 $self->{'current_section'} = $doc_obj->get_top_section();
416 } elsif ($element eq "PageGroup" || $element eq "Page") {
417 # create a new section as a child
418 $self->{'current_section'} = $doc_obj->insert_section($doc_obj->get_end_child($self->{'current_section'}));
419 $self->{'num_pages'}++;
420 # assign pagenum as what??
421 my $pagenum = $_{'pagenum'}; #TODO!!
422 if (defined $pagenum) {
423 $doc_obj->set_utf8_metadata_element($self->{'current_section'}, 'PageNum', $pagenum);
424 }
425 my ($imgfile) = $_{'imgfile'};
426 if (defined $imgfile) {
427 # *****
428 # What about support for rotate image (e.g. old ':r' notation)?
429 $self->process_image($self->{'xml_file_dir'}.$imgfile, $imgfile, $doc_obj, $self->{'current_section'});
430 }
431 my ($txtfile) = $_{'txtfile'};
432 if (defined($txtfile)&& $txtfile ne "") {
433 $self->process_text ($self->{'xml_file_dir'}.$txtfile, $txtfile, $doc_obj, $self->{'current_section'});
434 } else {
435 $self->add_dummy_text($doc_obj, $self->{'current_section'});
436 }
437 } elsif ($element eq "Metadata") {
438 $self->{'metadata_name'} = $_{'name'};
439 }
440}
441
442sub xml_end_tag {
443 my $self = shift(@_);
444 my ($expat, $element) = @_;
445
446 my $doc_obj = $self->{'doc_obj'};
447 if ($element eq "Page" || $element eq "PageGroup") {
448 # if Title hasn't been assigned, set PageNum as Title
449 if (!defined $doc_obj->get_metadata_element ($self->{'current_section'}, "Title") && defined $doc_obj->get_metadata_element ($self->{'current_section'}, "PageNum" )) {
450 $doc_obj->add_utf8_metadata ($self->{'current_section'}, "Title", $doc_obj->get_metadata_element ($self->{'current_section'}, "PageNum" ));
451 }
452 # move the current section back to the parent
453 $self->{'current_section'} = $doc_obj->get_parent_section($self->{'current_section'});
454 } elsif ($element eq "Metadata") {
455
456 $doc_obj->add_utf8_metadata ($self->{'current_section'}, $self->{'metadata_name'}, $self->{'metadata_value'});
457 $self->{'metadata_name'} = "";
458 $self->{'metadata_value'} = "";
459
460 }
461 # otherwise we ignore the end tag
462}
463
464
465sub xml_text {
466 my $self = shift(@_);
467 my ($expat) = @_;
468
469 if ($self->{'element'} eq "Metadata" && $self->{'metadata_name'}) {
470 $self->{'metadata_value'} .= $_;
471 }
472}
473
474sub xml_doctype {
475}
476
477sub open_document {
478 my $self = shift(@_);
479
480 # create a new document
481 $self->{'doc_obj'} = new doc ($self->{'filename'}, "indexed_doc", $self->{'file_rename_method'});
482 # TODO is file filenmae_no_path??
483 $self->set_initial_doc_fields($self->{'doc_obj'}, $self->{'file'}, $self->{'processor'});
484
485 my ($dir, $file) = $self->{'filename'} =~ /^(.*?)([^\/\\]*)$/;
486 $self->{'xml_file_dir'} = $dir;
487 $self->{'num_pages'} = 0;
488
489}
490
491sub close_document {
492 my $self = shift(@_);
493 my $doc_obj = $self->{'doc_obj'};
494
495 # add numpages metadata
496 $doc_obj->set_utf8_metadata_element ($doc_obj->get_top_section(), 'NumPages', $self->{'num_pages'});
497
498
499}
500
501
502sub set_initial_doc_fields {
503 my $self = shift(@_);
504 my ($doc_obj, $filename_no_path, $processor) = @_;
505
506 my $topsection = $doc_obj->get_top_section();
507
508 if ($self->{'documenttype'} eq 'paged') {
509 # set the gsdlthistype metadata to Paged - this ensures this document will
510 # be treated as a Paged doc, even if Titles are not numeric
511 $doc_obj->set_utf8_metadata_element ($topsection, "gsdlthistype", "Paged");
512 } else {
513 $doc_obj->set_utf8_metadata_element ($topsection, "gsdlthistype", "Hierarchy");
514 }
515
516 $self->set_Source_metadata($doc_obj, $filename_no_path);
517
518 # if we want a header page, we need to add some text into the top section, otherwise this section will become invisible
519 if ($self->{'headerpage'}) {
520 $self->add_dummy_text($doc_obj, $topsection);
521 }
522
523
524}
525
526
527sub process_item {
528 my $self = shift (@_);
529 my ($filename_full_path, $dir, $filename_no_path, $processor) = @_;
530
531 my $doc_obj = new doc ($filename_full_path, "indexed_doc", $self->{'file_rename_method'});
532 $self->set_initial_doc_fields($doc_obj, $filename_no_path, $processor);
533 my $topsection = $doc_obj->get_top_section();
534 open (ITEMFILE, $filename_full_path) || die "couldn't open $filename_full_path\n";
535 my $line = "";
536 my $num = 0;
537 while (defined ($line = <ITEMFILE>)) {
538 next unless $line =~ /\w/;
539 chomp $line;
540 next if $line =~ /^#/; # ignore comment lines
541 if ($line =~ /^<([^>]*)>\s*(.*?)\s*$/) {
542 $doc_obj->set_utf8_metadata_element ($topsection, $1, $2);
543 #$meta->{$1} = $2;
544 } else {
545 $num++;
546 # line should be like page:imagefilename:textfilename:r - the r is optional -> means rotate the image 180 deg
547 $line =~ s/^\s+//; #remove space at the front
548 $line =~ s/\s+$//; #remove space at the end
549 my ($pagenum, $imgname, $txtname, $rotate) = split /:/, $line;
550
551 # create a new section for each image file
552 my $cursection = $doc_obj->insert_section($doc_obj->get_end_child($topsection));
553 # the page number becomes the Title
554 $doc_obj->set_utf8_metadata_element($cursection, 'Title', $pagenum);
555
556 # process the image for this page if there is one
557 if (defined $imgname && $imgname ne "") {
558 my $result1 = $self->process_image($dir.$imgname, $imgname, $doc_obj, $cursection, $rotate);
559
560 if (!defined $result1)
561 {
562 print "PagedImagePlugin: couldn't process image \"$dir.$imgname\" for item \"$filename_full_path\"\n";
563 }
564 }
565 # process the text file if one is there
566 if (defined $txtname && $txtname ne "") {
567 my $result2 = $self->process_text ($dir.$txtname, $txtname, $doc_obj, $cursection);
568
569 if (!defined $result2) {
570 print "PagedImagePlugin: couldn't process text file \"$dir.$txtname\" for item \"$filename_full_path\"\n";
571 $self->add_dummy_text($doc_obj, $cursection);
572 }
573 } else {
574 # otherwise add in some dummy text
575 $self->add_dummy_text($doc_obj, $cursection);
576 }
577 }
578 }
579
580 close ITEMFILE;
581
582 # add numpages metadata
583 $doc_obj->set_utf8_metadata_element ($topsection, 'NumPages', "$num");
584 return $doc_obj;
585}
586
587sub process_text {
588 my $self = shift (@_);
589 my ($filename_full_path, $file, $doc_obj, $cursection) = @_;
590
591 # check that the text file exists!!
592 if (!-f $filename_full_path) {
593 print "PagedImagePlugin: ERROR: File $filename_full_path does not exist, skipping\n";
594 return 0;
595 }
596
597 # Do encoding stuff
598 my ($language, $encoding) = $self->textcat_get_language_encoding ($filename_full_path);
599
600 my $text="";
601 &ReadTextFile::read_file($self, $filename_full_path, $encoding, $language, \$text);
602 if (!length ($text)) {
603 # It's a bit unusual but not out of the question to have no text, so just give a warning
604 print "PagedImagePlugin: WARNING: $filename_full_path contains no text\n";
605 }
606
607 # we need to escape the escape character, or else mg will convert into
608 # eg literal newlines, instead of leaving the text as '\n'
609 $text =~ s/\\/\\\\/g; # macro language
610 $text =~ s/_/\\_/g; # macro language
611
612
613 if ($text =~ m/<html.*?>\s*<head.*?>.*<\/head>\s*<body.*?>(.*)<\/body>\s*<\/html>\s*$/is) {
614 # looks like HTML input
615 # no need to escape < and > or put in <pre> tags
616
617 $text = $1;
618
619 # insert preformat tags and add text to document object
620 $doc_obj->add_utf8_text($cursection, "$text");
621 }
622 else {
623 $text =~ s/</&lt;/g;
624 $text =~ s/>/&gt;/g;
625
626 # insert preformat tags and add text to document object
627 $doc_obj->add_utf8_text($cursection, "<pre>\n$text\n</pre>");
628 }
629
630
631 return 1;
632}
633
634
635sub clean_up_after_doc_obj_processing {
636 my $self = shift(@_);
637
638 $self->ImageConverter::clean_up_temporary_files();
639}
640
6411;
Note: See TracBrowser for help on using the repository browser.