/usr/share/polymake/perllib/Polymake/OverwriteFile.pm is in polymake-common 3.2r2-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 | # Copyright (c) 1997-2018
# Ewgenij Gawrilow, Michael Joswig (Technische Universitaet Berlin, Germany)
# http://www.polymake.org
#
# This program is free software; you can redistribute it and/or modify it
# under the terms of the GNU General Public License as published by the
# Free Software Foundation; either version 2, or (at your option) any
# later version: http://www.gnu.org/licenses/gpl.txt.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
#-------------------------------------------------------------------------------
use strict;
use namespaces;
use warnings qw(FATAL void syntax misc);
package Polymake::OverwriteFile;
use Symbol;
use Polymake::Struct (
[ new => '$;$' ],
[ '$dst' => '#1' ],
'$tempname',
[ '$handle' => 'undef' ],
);
# constructor: new OverwriteFile('path' [, 'layers'])
# 'layers' can be something like ':utf8' for proper storing of XML files.
sub new {
my $self=&_new;
my ($dir)= $self->dst =~ $directory_re;
$dir .= "/" if $dir;
$self->tempname=$dir . Tempfile->unique_name;
open $self->handle, ">$_[1]", $self->tempname
or die "can't create a new copy of ", $self->dst, ": $!\n";
($self->handle, $self);
}
sub DESTROY {
my ($self)=@_;
if (defined(fileno($self->handle))) {
close($self->handle);
if ($@) {
if ($DebugLevel) {
warn_print( "incomplete new copy of ", $self->dst, " kept as ", $self->tempname );
} else {
unlink $self->tempname;
}
} else {
unlink $self->tempname;
Carp::croak( "creation of new copy of ", $self->dst, " is not properly completed" );
}
} elsif (!rename($self->tempname, $self->dst)) {
warn_print( "could not rename temporary file ", $self->tempname, " to destination ", $self->dst, ": $!" );
}
}
1
# Local Variables:
# cperl-indent-level:3
# indent-tabs-mode:nil
# End:
|