8
8
<script type="text/javascript">
10
var pages = ["xg.InvalidGridIdentifier-c", "xg.InvalidIdentifierType-c", "xg.InvalidJobIdentifier-c", "xg.InvalidIdentifier-c", "xg.JobSpecification-c", "xg.InvalidAction-c", "xg.GridManager-c", "xg.Connection-c", "xg.Controller-c", "xg.JobManager-c", "xg.XgridError-c", "xg.NSString-c", "xg.Grid-c", "xg.Job-c", "xg-m"];
10
var pages = ["xg.InvalidGridIdentifier-c", "xg.InvalidIdentifierType-c", "xg.InvalidJobIdentifier-c", "xg.InvalidIdentifier-c", "xg.JobSpecification-c", "xg.InvalidAction-c", "xg.GridManager-c", "xg.Connection-c", "xg.Controller-c", "xg.JobManager-c", "xg.XgridError-c", "xg.Grid-c", "xg.Job-c", "xg-m"];
11
11
var dottedName = get_anchor();
13
13
var target = redirect_url(dottedName);