Hi Thanks a lot for the patch. I'm not sure I want to change the default compared to "upstream". I would actually prefer to change the documentation in that case.
Do you have an other opinion about this? Best regards, // Ola On Sat, Apr 19, 2008 at 07:38:43PM +0200, Kresten Kjeldgaard wrote: > Package: source-highlight > Version: 2.4-5.2 > Followup-For: Bug #476863 > > The attached patch fixes the broken default as well as adds "-" along with > "STDOUT" as special filenames. > > -- System Information: > Debian Release: lenny/sid > APT prefers unstable > APT policy: (500, 'unstable') > Architecture: amd64 (x86_64) > > Kernel: Linux 2.6.24-1-amd64 (SMP w/2 CPU cores) > Locale: LANG=en_GB.ISO-8859-15, LC_CTYPE=da_DK.ISO-8859-15 > (charmap=ISO-8859-15) > Shell: /bin/sh linked to /bin/bash > > Versions of packages source-highlight depends on: > ii libboost-regex1.34.1 1.34.1-11 regular expression library for > C++ > ii libc6 2.7-10 GNU C Library: Shared libraries > ii libgcc1 1:4.3.0-3 GCC support library > ii libstdc++6 4.3.0-3 The GNU Standard C++ Library v3 > > source-highlight recommends no packages. > > -- no debconf information > --- source-highlight-2.4/src/startapp.cc 2006-05-07 15:00:32.000000000 > +0200 > +++ source-highlight-2.4-fixed/src/startapp.cc 2008-04-19 > 19:06:03.529843322 +0200 > @@ -181,9 +181,10 @@ > if ( inputFileName.size() && ! is_cgi && args_info.output_given) > outputFileName = args_info.output_arg ; > > - bool generate_to_stdout = > + bool generate_to_stdout = (!args_info.output_arg || > (args_info.output_arg && > - strcmp (args_info.output_arg, "STDOUT") == 0); > + (strcmp (args_info.output_arg, "STDOUT") == 0 || > + strcmp (args_info.output_arg, "-") == 0))); > > if ( verbose ) > setMessager( new DefaultMessages ) ; -- --------------------- Ola Lundqvist --------------------------- / [EMAIL PROTECTED] Annebergsslingan 37 \ | [EMAIL PROTECTED] 654 65 KARLSTAD | | http://inguza.com/ +46 (0)70-332 1551 | \ gpg/f.p.: 7090 A92B 18FE 7994 0C36 4FE4 18A1 B1CF 0FE5 3DD9 / --------------------------------------------------------------- -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
