@(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
@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) {
Expand upload history
@{
var dsList = ""
instanceMap.get(instanceID) match {
case Some(instance) => {
for((dsId, (dsName, upTime, uploaderId)) <- instance.uploadHistory) {
val dsURL = controllers.routes.Datasets.dataset(dsId).url
dsList += "
" + upTime + ":
" + dsName + ""
}
}
case None => {}
}
Html(dsList)
}
}
}
case None => {}
}
}
}