@(toolList: play.api.libs.json.JsObject, instances: List[UUID], instanceMap: scala.collection.mutable.Map[UUID, services.ToolInstance])(implicit user: Option[models.User]) @import helper._ @import play.api.Play.current @import services.ToolManagerPlugin @import scala.io.Source @import scala.xml.parsing.XhtmlParser @import play.api.libs.json._ @main("Tool Manager") {

Available analysis environments

Active instances

@instances.map { instanceID => @instanceMap.get(instanceID) match { case Some(inst) => {

@if(inst.url == "") { @inst.name (not yet ready) } else { @inst.name }

    @inst.owner match { case Some(u) => {
  • @Messages("owner.label"): @u.fullName
  • } case None => {} }
  • Environment: @Html(inst.toolName)
  • Created @inst.created.format("MMM dd, yyyy")
  • Updated @inst.updated.format("MMM dd, yyyy")
  • @if(inst.uploadHistory.keys.size > 0) { }
} case None => {} } }
}