← Back to branch summary

~ubuntu-branches/ubuntu/intrepid/xml-core/intrepid

« back to all changes in this revision

Viewing changes to tools/update-xmlcatalog

  • Committer: Bazaar Package Importer
  • Author(s): Daniel Leidert (dale), Daniel Leidert
  • Date: 2007-04-16 19:17:50 UTC
  • Revision ID: james.westby@ubuntu.com-20070416191750-5mr9q5f50k3j6hry
Tags: 0.11
http://bugs.debian.org/358364
[ Daniel Leidert ]
debian/xml-core.postrm: Only try to remove /var/lib/xml-core, if it
exists (closes: #358364). Thanks to Kurt Roecks, who catched this issue.

Show diffs side-by-side

added added

removed removed

Lines of Context:
tools/update-xmlcatalog
56
56
catalog file or the local XML catalog file.  A resulting empty XML
57
57
catalog is not automatically deleted from the filesystem.
58
58
 
59
 
=item B<--file>
 
59
=item B<--file> I<file>
60
60
 
61
61
Indicates a local filename.
62
62
 
63
 
=item B<--id>
 
63
=item B<--id> I<id>
64
64
 
65
65
Indicates the XML catalog file entry identifier.
66
66
 
67
 
=item B<--local>
 
67
=item B<--local> I<local>
68
68
 
69
69
Indicates a local XML catalog file.
70
70
 
71
 
=item B<--package>
 
71
=item B<--package> I<package>
72
72
 
73
73
Indicates a package XML catalog file.
74
74
 
76
76
 
77
77
Indicates the root XML catalog file.
78
78
 
79
 
=item B<--type>
 
79
=item B<--type> I<type>
80
80
 
81
81
Indicates the XML catalog file entry type (public, system, uri).
82
82
 
310
310
## ----------------------------------------------------------------------
311
311
if ( defined( $type ) )
312
312
{
313
 
    if ( defined( $package ) && defined( $file ) )
314
 
    {
315
 
        if ( $type !~ /^(system|uri)$/ )
316
 
        {
317
 
            print STDERR "$name: error: wrong type\n";
318
 
            exit 1;
319
 
        }
320
 
    }
321
 
    else
322
 
    {
323
 
        if ( $type !~ /^(public|system|uri)$/ )
324
 
        {
325
 
            print STDERR "$name: error: wrong type\n";
326
 
            exit 1;
327
 
        }
 
313
    if ( $type !~ /^(public|system|uri)$/ )
 
314
    {
 
315
        print STDERR "$name: error: wrong type\n";
 
316
        exit 1;
328
317
    }
329
318
}
330
319
else