diff options
| author | Norbert Preining <preining@logic.at> | 2009-08-13 09:18:43 +0000 |
|---|---|---|
| committer | Norbert Preining <preining@logic.at> | 2009-08-13 09:18:43 +0000 |
| commit | edd891d8a119e0eb41d3237f399b77ba03e949e2 (patch) | |
| tree | 6ee0aae895e0a1e6f8104776b93f48d3e76c127d /Master/texmf | |
| parent | 6710abd21dad439662799500bd1d05ca79f7480b (diff) | |
make tlmgr debug and not tlwarn if the remote tlpdb cannot be saved
it can be a user doing tlmgr search --global but not having write permissions
git-svn-id: svn://tug.org/texlive/trunk@14644 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf')
| -rwxr-xr-x | Master/texmf/scripts/texlive/tlmgr.pl | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Master/texmf/scripts/texlive/tlmgr.pl b/Master/texmf/scripts/texlive/tlmgr.pl index 3974750c22b..19021ed0ee8 100755 --- a/Master/texmf/scripts/texlive/tlmgr.pl +++ b/Master/texmf/scripts/texlive/tlmgr.pl @@ -3489,7 +3489,10 @@ FROZEN "$Master/$InfraLocation/texlive.tlpdb.$loc_digest"; my $tlfh; if (!open($tlfh, ">:unix", $loc_copy_of_remote_tlpdb)) { - tlwarn("Cannot save remote TeX Live database to $loc_copy_of_remote_tlpdb: $!\n"); + # that should be only a debug statement, since a user without + # write permission might have done a tlmgr search --global or + # similar + &debug("Cannot save remote TeX Live database to $loc_copy_of_remote_tlpdb: $!\n"); } else { &debug("writing out tlpdb to $loc_copy_of_remote_tlpdb\n"); $tlmediatlpdb->writeout($tlfh); |