From ceb99fff3a910a1efe2f446026eaf8d0ed4086b2 Mon Sep 17 00:00:00 2001 From: christos Date: Wed, 13 Jan 2016 01:59:22 +0000 Subject: gettext has moved. --- .../gettext-tools/examples/hello-java/Hello.java | 38 ---------------------- 1 file changed, 38 deletions(-) delete mode 100644 gnu/dist/gettext/gettext-tools/examples/hello-java/Hello.java (limited to 'gnu/dist/gettext/gettext-tools/examples/hello-java/Hello.java') diff --git a/gnu/dist/gettext/gettext-tools/examples/hello-java/Hello.java b/gnu/dist/gettext/gettext-tools/examples/hello-java/Hello.java deleted file mode 100644 index a92f18c8a01..00000000000 --- a/gnu/dist/gettext/gettext-tools/examples/hello-java/Hello.java +++ /dev/null @@ -1,38 +0,0 @@ -// Example for use of GNU gettext. -// Copyright (C) 2003 Free Software Foundation, Inc. -// This file is in the public domain. -// -// Source code of the Java program. - -import java.util.*; -import java.io.*; -import java.text.*; -import gnu.gettext.*; - -public class Hello { - public static void main (String[] args) { - ResourceBundle catalog = ResourceBundle.getBundle("hello-java"); - System.out.println(GettextResource.gettext(catalog,"Hello, world!")); - System.out.println( - MessageFormat.format( - GettextResource.gettext(catalog, - "This program is running as process number {0}."), - new Object[] { getPid() })); - } - - /* Return the process ID of the current process. */ - private static String getPid () { - try { - String[] args = new String[] { "/bin/sh", "-c", "echo $PPID" }; - Process p = Runtime.getRuntime().exec(args); - InputStream p_out = p.getInputStream(); - String s = (new BufferedReader(new InputStreamReader(p_out))).readLine(); - p.destroy(); - if (s != null) - return s; - } catch (IOException e) { - e.printStackTrace(); - } - return "???"; - } -} -- cgit