• Home
• info.hupel
• isabellectl_2.11
• 1.1.0-RC3
• source code

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

abellectl_2.11.1.1.0-RC3.source-code.Check.scala Maven / Gradle / Ivy

package info.hupel.isabelle.cli

import scala.concurrent._

import info.hupel.isabelle.System

object Check extends Command {

  override def run(bundle: Bundle, args: List[String])(implicit ec: ExecutionContext): Future[Unit] =
    System.create(bundle.env, bundle.configuration).flatMap { sys =>
      logger.info("Alive!")
      sys.dispose
    }

}