Update the webpage (#3902)

JerryScript-DCO-1.0-Signed-off-by: Zsolt Borbély zsborbely.u-szeged@partner.samsung.com
2020-06-15 11:08:26 +02:00
parent 46809447ae
commit e834f8d3e7
6 changed files with 56 additions and 53 deletions
@@ -1094,7 +1094,8 @@ int
 main (void)
 {
  /* Initialize srand value */
-  srand ((unsigned) jerry_port_get_current_time ());
+  union { double d; unsigned u; } now = { .d = jerry_port_get_current_time () };
+  srand (now.u);

  /* Generate a random number, and print it */
  const jerry_char_t script[] = "var a = Math.random (); print(a)";