From 70347b78966f5867137c89f4aad5d996dbc774df Mon Sep 17 00:00:00 2001
From: michelou <michelou@epfl.ch>
Date: Tue, 6 Jan 2009 15:46:05 +0000
Subject: fixed ticket #1620

---
 test/files/run/t1620.check |  6 ++++++
 test/files/run/t1620.scala | 16 ++++++++++++++++
 2 files changed, 22 insertions(+)
 create mode 100644 test/files/run/t1620.check
 create mode 100644 test/files/run/t1620.scala

(limited to 'test')

diff --git a/test/files/run/t1620.check b/test/files/run/t1620.check
new file mode 100644
index 0000000000..979efc8227
--- /dev/null
+++ b/test/files/run/t1620.check
@@ -0,0 +1,6 @@
+<?xml version='1.0' encoding='utf-8'?>
+<!DOCTYPE foo PUBLIC "-//Foo Corp//DTD 1.0//EN" "foo.dtd">
+<foo></foo>
+<?xml version='1.0' encoding='utf-8'?>
+<!DOCTYPE foo PUBLIC "-//Foo Corp//DTD 1.0//EN">
+<foo></foo>
diff --git a/test/files/run/t1620.scala b/test/files/run/t1620.scala
new file mode 100644
index 0000000000..ff25955eb7
--- /dev/null
+++ b/test/files/run/t1620.scala
@@ -0,0 +1,16 @@
+import java.io.PrintWriter
+import scala.xml.XML
+import scala.xml.dtd.{DocType, PublicID}
+
+object Test extends Application {
+  val dt = DocType("foo", PublicID("-//Foo Corp//DTD 1.0//EN", "foo.dtd"), Seq())
+  val pw = new PrintWriter(System.out)
+  XML.write(pw, <foo/>, "utf-8", true, dt)
+  pw.println()
+  pw.flush()
+
+  val dt2 = DocType("foo", PublicID("-//Foo Corp//DTD 1.0//EN", null), Seq())
+  XML.write(pw, <foo/>, "utf-8", true, dt2)
+  pw.println()
+  pw.flush()
+}
-- 
cgit v1.2.3