+/* Copyright (c) 2008, 2009, 2010. The SimGrid Team.
+ * All rights reserved. */
-#ifndef WIN32
+/* This program is free software; you can redistribute it and/or modify it
+ * under the terms of the license (GNU LGPL) which comes with this package. */
+
+#ifndef _XBT_WIN32
#include <unistd.h>
#endif
printf("<?xml version='1.0'?>\n");
printf("<!DOCTYPE platform SYSTEM \"simgrid.dtd\">\n");
printf("<platform version=\"2\">\n");
+ printf("<AS id=\"AS0\" routing=\"Full\">\n");
totalHosts = SD_workstation_get_number();
hosts = SD_workstation_get_list();
}
}
}
+ printf("</AS>\n");
printf("</platform>\n");
SD_exit();