[jabref] 139/459: Add new patch 05_PrintStream_File, PrintStream(File) is undefined in gcj.

gregor herrmann gregoa at debian.org
Thu Sep 15 20:40:04 UTC 2016


This is an automated email from the git hooks/post-receive script.

gregoa pushed a commit to branch master
in repository jabref.

commit d5cd589aea9d68366bc6ac66dfb5a2654367f084
Author: gregor herrmann <gregoa at debian.org>
Date:   Sun Mar 16 16:15:50 2008 +0000

    Add new patch 05_PrintStream_File, PrintStream(File) is undefined in
      gcj.
---
 debian/changelog                          |  4 +++-
 debian/patches/00list                     |  1 +
 debian/patches/05_PrintStream_File.dpatch | 32 +++++++++++++++++++++++++++++++
 3 files changed, 36 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index 4e9fcd7..acb65b9 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -7,8 +7,10 @@ jabref (2.4~beta1-1) UNRELEASED; urgency=low
     debian/rules.
   * Adapt referenced filename in debian/links and debian/install.
   * Refresh patch 01_free_javac.
+  * Add new patch 05_PrintStream_File, PrintStream(File) is undefined in
+    gcj.
 
- -- gregor herrmann <gregor+debian at comodo.priv.at>  Sun, 16 Mar 2008 16:14:22 +0100
+ -- gregor herrmann <gregor+debian at comodo.priv.at>  Sun, 16 Mar 2008 17:04:16 +0100
 
 jabref (2.3.1-2) unstable; urgency=low
 
diff --git a/debian/patches/00list b/debian/patches/00list
index 4626e1d..a2d0cb3 100644
--- a/debian/patches/00list
+++ b/debian/patches/00list
@@ -1,3 +1,4 @@
 01_free_javac
 03_external_apps
 04_HONOR_DISPLAY_PROPERTIES
+05_PrintStream_File
diff --git a/debian/patches/05_PrintStream_File.dpatch b/debian/patches/05_PrintStream_File.dpatch
new file mode 100755
index 0000000..4ddf1b5
--- /dev/null
+++ b/debian/patches/05_PrintStream_File.dpatch
@@ -0,0 +1,32 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## 05_PrintStream_File.dpatch by  <gregor+debian at comodo.priv.at>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: "The constructor PrintStream(File) is undefined"
+## DP: Work around with a FileOutputStream.
+
+ at DPATCH@
+diff -urNad jabref~/src/java/net/sf/jabref/sql/SQLutil.java jabref/src/java/net/sf/jabref/sql/SQLutil.java
+--- jabref~/src/java/net/sf/jabref/sql/SQLutil.java	2008-03-16 17:01:04.000000000 +0100
++++ jabref/src/java/net/sf/jabref/sql/SQLutil.java	2008-03-16 17:03:07.000000000 +0100
+@@ -11,6 +11,8 @@
+ 
+ import java.io.File;
+ import java.io.PrintStream;
++import java.io.BufferedOutputStream;
++import java.io.FileOutputStream;
+ import java.sql.Connection;
+ import java.sql.DriverManager;
+ import java.sql.SQLException;
+@@ -261,8 +263,10 @@
+         if (outfile.exists())
+             outfile.delete();
+ 
++        BufferedOutputStream writer = null;
++        writer = new BufferedOutputStream( new FileOutputStream( outfile ) );
+         PrintStream fout = null;
+-        fout = new PrintStream(outfile);
++        fout = new PrintStream( writer );
+ 
+         exportDatabase_worker(dbtype, database, metaData, keySet, fout);
+ 

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-java/jabref.git



More information about the pkg-java-commits mailing list