Printer_id kann 0 sein

diff --git a/bin/mozilla/io.pl b/bin/mozilla/io.pl
index 6fc89608e494c49e2e2ebb5d1618a20a8ace596b..f544660656eaf1072aa963a1361a9612252426a2 100644 (file)
--- 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";