<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
On 05.01.2012 16:30, Jed Brown wrote:
<blockquote
cite="mid:CAM9tzSk7HekB6=74mpLgERQ4sJM1ogcBEAGaNvsAN1tKzOXDyg@mail.gmail.com"
type="cite">
<div class="gmail_quote">On Thu, Jan 5, 2012 at 09:22, Alexander
Grayver <span dir="ltr"><<a moz-do-not-send="true"
href="mailto:agrayver@gfz-potsdam.de">agrayver@gfz-potsdam.de</a>></span>
wrote:<br>
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt
0.8ex; border-left: 1px solid rgb(204, 204, 204);
padding-left: 1ex;">
My question is whether all file handles are closed correctly
when I change file name?</blockquote>
</div>
<br>
<div>No, they are not. You should PetscViewerDestroy() and then
create a new viewer.</div>
<div><br>
</div>
<div><br>
</div>
<div>I think the file probably *should* be closed silently in this
usage. The other alternative is to give an error, but leaking
file handles is not okay.</div>
</blockquote>
<br>
If you give error or just not close handle like now then what is the
meaning of PetscViewerFileSetName?<br>
<br>
Regards<br>
</body>
</html>