diff --git a/htroot/CrawlProfileEditor_p.html b/htroot/CrawlProfileEditor_p.html index ac4559232..1eb02bc80 100644 --- a/htroot/CrawlProfileEditor_p.html +++ b/htroot/CrawlProfileEditor_p.html @@ -16,7 +16,6 @@ -
Crawl Profile List @@ -60,16 +59,17 @@ + + #{/crawlProfiles}#
#(indexMedia)#no::yes#(/indexMedia)# #(remoteIndexing)#no::yes#(/remoteIndexing)# #(deleteButton)#:: +
#(/deleteButton)# - -
- +
diff --git a/htroot/CrawlProfileEditor_p.java b/htroot/CrawlProfileEditor_p.java index 41ca20118..a24e8f9e3 100644 --- a/htroot/CrawlProfileEditor_p.java +++ b/htroot/CrawlProfileEditor_p.java @@ -102,14 +102,10 @@ public class CrawlProfileEditor_p { final plasmaSwitchboard sb = (plasmaSwitchboard)env; // read post for handle - String handle = ""; - if (post != null) { - handle = post.get("handle", ""); - - if (post.containsKey("deleteprofile")) { - // deletion of a crawl - if (handle != null) sb.profiles.removeEntry(handle); - } + String handle = (post == null) ? "" : post.get("handle", ""); + if ((post != null) && (post.containsKey("deleteprofile"))) { + // deletion of a crawl + sb.profiles.removeEntry(handle); } // generate handle list