Changeset 2390

Timestamp:

11/26/2011 4:26:52 AM (19 months ago)

Author:

lowjoel

Message:

Implemented a HTTP request function to inform the server that a new build is available, since the build server is now different from the web server.

Location:

trunk/website/scripts

Files:

• BuildPublish.php (modified) (1 diff)
• BuildUtil.php (modified) (1 diff)

trunk/website/scripts/BuildPublish.php

@@ -44 +44 @@
     
     //Then update our website builds information
-    
+    $serverResponse = fopen('php://temp', 'rw');
+    try
+    {
+        Download(sprintf('http://eraser.heidi.ie/scripts/BuildServer.php?branch=%s&revision=%d&filesize=%d&url=%s',
+            $argv[1], $argv[2], filesize($argv[3]), urlencode(HTTP_WEB_ROOT . $installerPath)),
+            $serverResponse, $build_username, $build_password);
+        fseek($serverResponse, 0);
+        while (($line = fgets($handle, 4096)) !== false)
+            echo $line;
+        if (!feof($handle))
+            throw new Exception('Unexpected fgets() failure');
+        fclose($serverResponse);
+    }
+    catch (Exception $e)
+    {
+        fclose($serverResponse);
+        Delete(SHELL_WEB_ROOT . $installerPath, $sftp_username, $sftp_password);
+        throw $e;
+    }
 }
 catch (Exception $e)

trunk/website/scripts/BuildUtil.php

@@ -22 +22 @@
 
     printf("File uploaded.\n");
+}
+
+/**
+ * Downloads the contents of a particular URL to a stream.
+ * 
+ * @param string $url      The URL to download.
+ * @param string $stream   The stream to save to.
+ * @param string $username The username of the user, if required.
+ * @param string $password The password of the user, if required.
+ */
+function Download($url, $stream, $username = '', $password = '')
+{
+    printf('Downloading %s... ', $url);
+
+    $curl = curl_init($url);
+    curl_setopt($curl, CURLOPT_USERPWD, sprintf('%s:%s', $username, $password));
+    curl_setopt($curl, CURLOPT_FILE, $stream);
+
+    if (curl_exec($curl) === false)
+        throw new Exception('cURL Error: ' . curl_error($curl));
+    curl_close($curl);
+
+    printf("File downloaded.\n");
 }