« Previous | Next » 

Revision 7dd106d3

ID7dd106d3e52be4f2f4ef7fb8c1ceb5745dd94e4b
Parent 5d60b3bd
Child 6dfcc47b

Added by Iustin Pop almost 13 years ago

Fix Xen soft reboot via polling

This patch fixes the Xen soft reboot ("xm reboot") via polling for a specific
time for either changed domain ID or decreased CPU run-time.

This sould prevent the race-conditions discussed on the mailing list for
reboots.

Reviewed-by: imsnah

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences