Source for gnu.java.awt.peer.GnomeDesktopPeer

   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: }