Frames | No Frames |
1: /* GnomeDesktopPeer.java -- Offers a GNOME Desktop peer for DesktopPeer 2: Copyright (C) 2006, 2007 Free Software Foundation, Inc. 3: 4: This file is part of GNU Classpath. 5: 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. 10: 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. 15: 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. 20: 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. 25: 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. */ 37: 38: package gnu.java.awt.peer; 39: 40: import java.io.IOException; 41: import java.io.InputStream; 42: import java.net.URI; 43: 44: /** 45: * @author Mario Torre <neugens@limasoftware.net> 46: */ 47: public class GnomeDesktopPeer 48: extends ClasspathDesktopPeer 49: { 50: /** 51: * Query string to use if a GNOME desktop is detected to get the name of the 52: * default browser. This requires gconftool-2 (part of GNOME). 53: */ 54: private static final String BROWSER_QUERY_GNOME = 55: "gconftool-2 -g /desktop/gnome/url-handlers/http/command"; 56: 57: protected String getCommand(String action) 58: { 59: // check if a command already exists 60: String command = super.getCommand(action); 61: 62: if (command == null) 63: { 64: try 65: { 66: if (action == _BROWSE) 67: { 68: command = execQuery(BROWSER_QUERY_GNOME); 69: } 70: else if (action == _PRINT) 71: { 72: command = null; 73: } 74: else 75: { 76: command = "gnome-open"; 77: } 78: } 79: catch (Exception e) 80: { 81: command = null; 82: } 83: } 84: 85: return command; 86: } 87: 88: public void browse(URI url) throws IOException 89: { 90: checkPermissions(); 91: 92: String browser = getCommand(_BROWSE); 93: 94: if (browser == null) 95: throw new UnsupportedOperationException(); 96: 97: browser = browser + " " + url.toString(); 98: 99: Runtime.getRuntime().exec(browser); 100: } 101: 102: protected boolean supportCommand(String check) 103: { 104: if (check == _PRINT) 105: { 106: return super.supportCommand(check); 107: } 108: 109: return true; 110: } 111: 112: public void mail() throws IOException 113: { 114: checkPermissions(); 115: 116: String mail = getCommand(_MAIL); 117: 118: if (mail == null) 119: throw new UnsupportedOperationException(); 120: 121: Runtime.getRuntime().exec(mail + " mailto:"); 122: } 123: 124: protected String execQuery(String command) throws IOException 125: { 126: InputStream in = null; 127: StringBuilder output = new StringBuilder(); 128: 129: try 130: { 131: Process process = Runtime.getRuntime().exec(command); 132: 133: // Get the input stream and read from it 134: in = process.getInputStream(); 135: int c; 136: while ((c = in.read()) != - 1) 137: { 138: output.append((char) c); 139: } 140: } 141: finally 142: { 143: if (in != null) 144: in.close(); 145: } 146: 147: // remove %s from the string, leave only the command line 148: int index = output.indexOf("%s"); 149: output.delete(index, index + 1); 150: 151: return output.toString().trim(); 152: } 153: }