From a05e87cadacd4f81c3150fdf92b8acf7141d150e Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 17 Oct 2015 11:08:12 -0400 Subject: Switching to a more dynamic method of handling database reconnection, restarting transactions --- src/mysql.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/mysql.sml') diff --git a/src/mysql.sml b/src/mysql.sml index 13ea9fc2..057d73ff 100644 --- a/src/mysql.sml +++ b/src/mysql.sml @@ -1,4 +1,4 @@ -(* Copyright (c) 2009-2010, Adam Chlipala +(* Copyright (c) 2009-2010, 2015, Adam Chlipala * All rights reserved. * * Redistribution and use in source and binary forms, with or without -- cgit v1.2.3