removing HEAD from branch selection, making develop default

pykat/testing/web/templates/finesse_test.html

@@ -442,7 +442,13 @@
                     blist.empty();
                     
                     for(var i=0; i<branches.length; i++){
-                        blist.append($('<option>', { value: branches[i], text: branches[i]}));
+                        var opt = $('<option>', { value: branches[i], text: branches[i]});
+                        
+                        if (branches[i] == "develop") {
+                            opt.attr("selected","selected");
+                        }
+                        
+                        blist.append(opt);
                     }
                     
                     updateLogEntries();

pykat/testing/web/web_interface.py

@@ -400,7 +400,10 @@ def finesse_get_branches():
     for b in out.split("\n"):
         vals = b.split("/")
         if len(vals) >= 3:
-            branches.append(vals[2].split(" ")[0])
+            branch = vals[2].split(" ")[0]
+            
+            if branch != "HEAD":
+                branches.append(branch)
 
     return jsonify(branches=branches)