Use HEAD request instead of GET for timestamps

Change-Id: I7112b0eebab7c1cb98819beaca5e562e0ed0079d
Signed-off-by: Aleksander Mistewicz <a.mistewicz@samsung.com>

diff --git a/tsp/scripts/crawler.py b/tsp/scripts/crawler.py
index cfb1997..ddb49e5 100755 (executable)
--- a/tsp/scripts/crawler.py
+++ b/tsp/scripts/crawler.py
@@ -96,7 +96,7 @@ def get_modified_paths(discovered, timestamp, tree):
             md5sums_urls = [url + e for e in tree_urls]
         change = False
         for md5sums_url in md5sums_urls:
-            r = s.get(md5sums_url)
+            r = s.head(md5sums_url)
             if r.status_code == requests.codes.ok:
                 logging.debug("MD5SUMS changed: %s", md5sums_url)
                 change = True