Jenkins BUILD_ID no longer includes timestamp
Change-Id: I0383f3587ce7b697fef4743893012b18687bb312
diff --git a/org.eclipse.userstorage.releng/hudson/promote.sh b/org.eclipse.userstorage.releng/hudson/promote.sh
index a433694..19d5388 100644
--- a/org.eclipse.userstorage.releng/hudson/promote.sh
+++ b/org.eclipse.userstorage.releng/hudson/promote.sh
@@ -1,4 +1,7 @@
#!/bin/bash
+if [[ "$BUILD_TIMESTAMP" == "" ]]; then
+ BUILD_TIMESTAMP=`date -u +%Y-%m-%d_%H-%M-%S`
+fi
if [[ "$BUILD_TYPE" == "" || "$BUILD_TYPE" == none ]]; then
BUILD_TYPE=nightly
@@ -12,7 +15,7 @@
fi
if [[ "$TYPE" != "" ]]; then
- BUILD_KEY=$TYPE`echo $BUILD_ID | sed 's/\([0-9]*\)-\([0-9]*\)-\([0-9]*\)_\([0-9]*\)-\([0-9]*\)-\([0-9]*\)/\1\2\3-\4\5\6/g'`
+ BUILD_KEY=$TYPE`echo $BUILD_TIMESTAMP | sed 's/\([0-9]*\)-\([0-9]*\)-\([0-9]*\)_\([0-9]*\)-\([0-9]*\)-\([0-9]*\)/\1\2\3-\4\5\6/g'`
fi
fi