From a84ba8e1d012b216caa56cd3b730ed78cad4abbf Mon Sep 17 00:00:00 2001
From: Oliver Bock <oliver.bock@aei.mpg.de>
Date: Tue, 11 Aug 2015 09:48:06 +0000
Subject: [PATCH] admin web: on update anchor at current app version

---
 html/ops/manage_app_versions.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/html/ops/manage_app_versions.php b/html/ops/manage_app_versions.php
index 7419284b30..b7961bc39a 100644
--- a/html/ops/manage_app_versions.php
+++ b/html/ops/manage_app_versions.php
@@ -86,10 +86,10 @@ function show_form($all) {
             $f2="</font>";
         }
 
-        echo "<tr class=row$i><form action=manage_app_versions.php method=POST>\n";
+        echo "<tr class=row$i><form action=manage_app_versions.php#av_$av->id method=POST>\n";
         $i = 1-$i;
         echo "<input type=hidden name=id value=$av->id>";
-        echo "  <TD>$f1 <a href=db_action.php?table=app_version&id=$av->id>$av->id</a> $f2</TD>\n";
+        echo "  <TD>$f1 <a id='av_$av->id' href=db_action.php?table=app_version&id=$av->id>$av->id</a> $f2</TD>\n";
 
         $app = $apps[$av->appid];
         echo "  <TD>$f1 <a href=app_details.php?appid=$app->id>$app->name</a> $f2</TD>\n";