« Previous | Next » 

Revision fd1f1d96

IDfd1f1d969335df21dad5832c510c972a2659efb1

Added by Stavros Sachtouris over 11 years ago

NEW server method: wait_server + cli command

wait for server to reach state (e.g. while building)

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences