From 394f0f6ee7ec44b9d01436c581b94ad0bc7a7a75 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Sven=20Sch=C3=B6ling?= Date: Mon, 2 Apr 2007 12:05:00 +0000 Subject: [PATCH] Printer_id kann 0 sein --- bin/mozilla/io.pl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/bin/mozilla/io.pl b/bin/mozilla/io.pl index 6fc89608e..f54466065 100644 --- a/bin/mozilla/io.pl +++ b/bin/mozilla/io.pl @@ -1495,7 +1495,8 @@ sub print_options { $form->{format} = $form->{format} || $myconfig{template_format} || "pdf"; $form->{copies} = $form->{copies} || $myconfig{copies} || 3; $form->{media} = $form->{media} || $myconfig{default_media} || "screen"; - $form->{printer_id} = $form->{printer_id} || $myconfig{default_printer_id} || ""; + $form->{printer_id} = defined $form->{printer_id} ? $form->{printer_id} : + defined $myconfig{default_printer_id} ? $myconfig{default_printer_id} : ""; $form->{PD}{ $form->{formname} } = "selected"; $form->{DF}{ $form->{format} } = "selected"; -- 2.39.5