You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@openoffice.apache.org by bu...@apache.org on 2013/06/20 23:14:35 UTC

svn commit: r866676 - in /websites/staging/ooo-site/trunk: cgi-bin/ content/ content/download/test/download.js

Author: buildbot
Date: Thu Jun 20 21:14:34 2013
New Revision: 866676

Log:
Staging update by buildbot for ooo-site

Modified:
    websites/staging/ooo-site/trunk/cgi-bin/   (props changed)
    websites/staging/ooo-site/trunk/content/   (props changed)
    websites/staging/ooo-site/trunk/content/download/test/download.js

Propchange: websites/staging/ooo-site/trunk/cgi-bin/
------------------------------------------------------------------------------
--- cms:source-revision (original)
+++ cms:source-revision Thu Jun 20 21:14:34 2013
@@ -1 +1 @@
-1495188
+1495190

Propchange: websites/staging/ooo-site/trunk/content/
------------------------------------------------------------------------------
--- cms:source-revision (original)
+++ cms:source-revision Thu Jun 20 21:14:34 2013
@@ -1 +1 @@
-1495188
+1495190

Modified: websites/staging/ooo-site/trunk/content/download/test/download.js
==============================================================================
--- websites/staging/ooo-site/trunk/content/download/test/download.js (original)
+++ websites/staging/ooo-site/trunk/content/download/test/download.js Thu Jun 20 21:14:34 2013
@@ -190,8 +190,8 @@ function getPlatform() {
 				PLATFORM	= "Linux_x86-64_install-rpm";
 				EXTENSION	= ".tar.gz";
 				// UI_PLATFORM	= "Linux 64-bit (RPM/DEB ?)";
-				// PLATFORM	= "other";
-				// EXTENSION	= "";
+				// PLATFORM	= "unknown";
+				// EXTENSION	= ".tar.gz";
 				if ( navigator.userAgent.toLowerCase().indexOf( "debian" )    != -1 ||
 				     navigator.userAgent.toLowerCase().indexOf( "ubuntu" )    != -1 ||
 				     navigator.userAgent.toLowerCase().indexOf( "iceweasel" ) != -1 ) {
@@ -204,8 +204,8 @@ function getPlatform() {
 				PLATFORM	= "Linux_x86_install-rpm";
 				EXTENSION	= ".tar.gz";
 				// UI_PLATFORM	= "Linux 32-Bit (RPM/DEB ?)";
-				// PLATFORM	= "other";
-				// EXTENSION	= "";
+				// PLATFORM	= "unknown";
+				// EXTENSION	= ".tar.gz";
 				if ( navigator.userAgent.toLowerCase().indexOf( "debian" )    != -1 ||
 				     navigator.userAgent.toLowerCase().indexOf( "ubuntu" )    != -1 ||
 				     navigator.userAgent.toLowerCase().indexOf( "iceweasel" ) != -1 ) {