| changeset 49438 | 0ccf143a2a69 |
| parent 49424 | 0d2114eb412a |
| child 50711 | 3003c87f7814 |
| 49437:9613780a805b | 49438:0ccf143a2a69 |
|---|---|
46 finally { stream.close } |
46 finally { stream.close } |
47 |
47 |
48 make_result(digest) |
48 make_result(digest) |
49 } |
49 } |
50 |
50 |
51 def digest(path: Path): Digest = digest(path.file) |
|
52 |
|
51 def digest(bytes: Array[Byte]): Digest = |
53 def digest(bytes: Array[Byte]): Digest = |
52 { |
54 { |
53 val digest = MessageDigest.getInstance("SHA") |
55 val digest = MessageDigest.getInstance("SHA") |
54 digest.update(bytes) |
56 digest.update(bytes) |
55 |
57 |