Changeset 7740 for trunk/gli/src/org/greenstone/gatherer/collection

Timestamp:

2004-07-16T13:53:15+12:00 (20 years ago)

Author:

davidb

Message:

General changes made to support GLI as an applet.

File:

• trunk/gli/src/org/greenstone/gatherer/collection/DeleteCollectionPrompt.java (modified) (3 diffs)

trunk/gli/src/org/greenstone/gatherer/collection/DeleteCollectionPrompt.java

@@ -40 +40 @@
 import java.awt.event.*;
 import java.io.*;
+import java.net.*;
 import javax.swing.*;
 import javax.swing.event.*;
@@ -315 +316 @@
         }
 
+        if (Gatherer.isGsdlRemote) {
+                
+        String launch_cgi  = Gatherer.cgiBase + "launch?cmd=deldir";
+
+        String col_name = collection.getShortName();
+        String dir = ".";
+
+        try {
+
+            String col_name_encoded = URLEncoder.encode(col_name,"UTF-8");
+            String dir_encoded = URLEncoder.encode(dir,"UTF-8");
+
+            launch_cgi += "&c=" + col_name_encoded;
+            launch_cgi += "&dir=" + dir_encoded;
+        
+            URL launch_url = new URL(launch_cgi);
+            URLConnection launch_connection = launch_url.openConnection();
+            InputStream stdis = launch_connection.getInputStream();
+            InputStreamReader stdisr = new InputStreamReader(stdis, "UTF-8"  );
+            
+            BufferedReader stdbr = new BufferedReader(stdisr);
+            
+            while(true) {
+            String line = stdbr.readLine();
+            // ignore output of running lauch command
+            
+            if (line == null) { break; }
+            }       
+            
+            stdbr.close();
+        }
+        // Exception
+        catch (Exception exception) {
+            Gatherer.println("Exception in GShell.runRemove() - unexpected");
+            Gatherer.printStackTrace(exception);
+        }
+        }
+
         File delete_me;
         if (Gatherer.GS3) {
@@ -321 +360 @@
         delete_me = new File(Utility.getCollectionDir(Gatherer.config.gsdl_path, collection.getShortName()));
         }
-        if(Utility.delete(delete_me)) {
+        if (Utility.delete(delete_me)) {
         if (Gatherer.c_man.getCollection() != null && collection.getShortName().equals(Gatherer.c_man.getCollection().getName())) {
             current_coll_deleted = true;