libjava/ChangeLog:
[official-gcc.git] / libjava / classpath / gnu / java / awt / peer / GnomeDesktopPeer.java
blobcc41f749dc07c763ac046ee54803b648f6a0d7e7
1 /* GnomeDesktopPeer.java -- Offers a GNOME Desktop peer for DesktopPeer
2 Copyright (C) 2006, 2007 Free Software Foundation, Inc.
4 This file is part of GNU Classpath.
6 GNU Classpath is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 2, or (at your option)
9 any later version.
11 GNU Classpath is distributed in the hope that it will be useful, but
12 WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with GNU Classpath; see the file COPYING. If not, write to the
18 Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
19 02110-1301 USA.
21 Linking this library statically or dynamically with other modules is
22 making a combined work based on this library. Thus, the terms and
23 conditions of the GNU General Public License cover the whole
24 combination.
26 As a special exception, the copyright holders of this library give you
27 permission to link this library with independent modules to produce an
28 executable, regardless of the license terms of these independent
29 modules, and to copy and distribute the resulting executable under
30 terms of your choice, provided that you also meet, for each linked
31 independent module, the terms and conditions of the license of that
32 module. An independent module is a module which is not derived from
33 or based on this library. If you modify this library, you may extend
34 this exception to your version of the library, but you are not
35 obligated to do so. If you do not wish to do so, delete this
36 exception statement from your version. */
38 package gnu.java.awt.peer;
40 import gnu.java.lang.CPStringBuilder;
42 import java.io.IOException;
43 import java.io.InputStream;
44 import java.net.URI;
46 /**
47 * @author Mario Torre <neugens@limasoftware.net>
49 public class GnomeDesktopPeer
50 extends ClasspathDesktopPeer
52 /**
53 * Query string to use if a GNOME desktop is detected to get the name of the
54 * default browser. This requires gconftool-2 (part of GNOME).
56 private static final String BROWSER_QUERY_GNOME =
57 "gconftool-2 -g /desktop/gnome/url-handlers/http/command";
59 protected String getCommand(String action)
61 // check if a command already exists
62 String command = super.getCommand(action);
64 if (command == null)
66 try
68 if (action == _BROWSE)
70 command = execQuery(BROWSER_QUERY_GNOME);
72 else if (action == _PRINT)
74 command = null;
76 else
78 command = "gnome-open";
81 catch (Exception e)
83 command = null;
87 return command;
90 public void browse(URI url) throws IOException
92 checkPermissions();
94 String browser = getCommand(_BROWSE);
96 if (browser == null)
97 throw new UnsupportedOperationException();
99 browser = browser + " " + url.toString();
101 Runtime.getRuntime().exec(browser);
104 protected boolean supportCommand(String check)
106 if (check == _PRINT)
108 return super.supportCommand(check);
111 return true;
114 public void mail() throws IOException
116 checkPermissions();
118 String mail = getCommand(_MAIL);
120 if (mail == null)
121 throw new UnsupportedOperationException();
123 Runtime.getRuntime().exec(mail + " mailto:");
126 protected String execQuery(String command) throws IOException
128 InputStream in = null;
129 CPStringBuilder output = new CPStringBuilder();
133 Process process = Runtime.getRuntime().exec(command);
135 // Get the input stream and read from it
136 in = process.getInputStream();
137 int c;
138 while ((c = in.read()) != - 1)
140 output.append((char) c);
143 finally
145 if (in != null)
146 in.close();
149 // remove %s from the string, leave only the command line
150 int index = output.indexOf("%s");
151 output.delete(index, index + 1);
153 return output.toString().trim();