--- a/progs/scala/app4.scala	Sat Oct 04 12:46:04 2014 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,27 +0,0 @@
-object Application extends Controller {
-
-  val salt = "my secret key"
-
-  //SHA-1 + salt
-  def mk_hash(s: String) : String = {
-    val hash_fun = MessageDigest.getInstance("SHA-1")
-    hash_fun.digest((s + salt).getBytes).map{ "%02x".format(_) }.mkString
-  }
-
-  def gt_cookie(c: Cookie) : Int = c.value.split("/") match {
-    case Array(s, h) 
-      if (s.forall(_.isDigit) && mk_hash(s) == h) => s.toInt 
-    case _ => 0
-  }
-
-  def mk_cookie(i: Int) : Cookie = {
-    val hash = mk_hash(i.toString)
-    Cookie("visits", s"$i/$hash")
-  }
-   
-  def index = Action { request => ... }
-}
-
-
-
-