dev 1.0.176 → 1.0.177

data/lib/dev/Database.rb

@@ -42,6 +42,12 @@ class Database
     @db.execute("insert or replace into Branches (Name,Uri) VALUES ('#{name}','#{uri}');")
   end
 
+  def has_result(h)
+    results=get_results({:machine=>h[:machine],:user=>h[:user],start_time=>h[:start_time]})
+	return true if results.length > 0
+	return false
+  end
+
   def add_result(h)
     columns=""
 	values=""

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: dev
 version: !ruby/object:Gem::Version
-  version: 1.0.176
+  version: 1.0.177
   prerelease: 
 platform: ruby
 authors: