<?php
if ($SERVER_PORT == 80) {
  $srcroot = "/data/software";
  $config = "prod";
} else {
  $srcroot = "/home/johannes/software.stage";
  $config = "stage";
}

$urlroot = "/ads/a";

include("$srcroot/ads/view.inc");

echo ads_view("genvibe", "_top") . "\n";
?>