Dear all,
CBMC (http://www.cprover.org/cbmc/) symbolic execution of “nsproxy” reports an
error in RecvBuff. It could be a false positive.
Hope it helps,
Maurizio
[SendBuf.assertion.1] assertion (slavePtr != ((void *)0)): SUCCESS
[SendBuf.assertion.2] assertion (dsPtr != ((void *)0
Dear Brian,
a short look into the code, at the two different
implementations (and how much they differ) would have avoided this wrong
assumption.
On top of that, as Gustaf suggested, using the "-part path" option you can
obtain the full URL properly converted.
The main p
changed since AOLserver?
Brian
From: Maurizio Martignano [mailto:maurizio.martign...@spazioit.com
<mailto:maurizio.martign...@spazioit.com> ]
Sent: 12 May 2017 12:31
To: naviserver-devel@lists.sourceforge.net
<mailto:naviserver-devel@lists.sourceforge.net>
Subject: Re:
Dear Brian,
Is this really a "Windows Naviserver" issue or is it a matter
of a new implementation of the function, different from what was previously
done in Aolserver?
The two implementations seem to me quite different.
Thanks a lot,
Maurizio
From: Brian Fenton [ma
27;ve done some more cleanup for MSVC and activated IPV6 per default
(everything untested)
-g
[1]
https://bitbucket.org/naviserver/naviserver/commits/432a251c4e8ee567327b1228
cee8e25a726af5bc
Am 25.02.16 um 18:04 schrieb Maurizio Martignano:
Dear Gustaf,
Thank you for your inputs
HAVE_IPV4.
In the meantime and with no rush I will try to investigate the problems of
the HAVE_IPV6 version.
Thank you,
Maurizio
From: Maurizio Martignano [mailto:maurizio.martign...@spazioit.com]
Sent: 25 February 2016 22:20
To: naviserver-devel@lists.sourceforge.net
Subject: Re: [naviserver
February, the one without IPV6 Support.
Thank you,
Maurizio
From: Maurizio Martignano [mailto:maurizio.martign...@spazioit.com]
Sent: 25 February 2016 18:05
To: naviserver-devel@lists.sourceforge.net
Subject: Re: [naviserver-devel] IPv6 for NaviServer
Dear Gustaf,
Thank
smoothly. In case you tried the sample
nsd-config.tcl script, that could not work with IPv4, since
IPv6 addresses were hard-coded.
all the best
-g
Am 24.02.16 um 18:00 schrieb Maurizio Martignano:
Dear Gustaf,
Thank you as always for all your work.
About Windows I cannot really talk about MinGW
Dear Gustaf,
Thank you as always for all your work.
About Windows I cannot really talk about MinGW nor Cygwin. I'm just using
Visual Studio 2015 with 64 bit as target.
With this configuration I tried to modify the file sockaddr.c (to make it
compile), but I'm not sure about the changes I m
Dear Andrew,
My distribution of Windows-OpenACS
(http://www.spazioit.com/pages_en/sol_inf_en/windows-openacs_en/).
Contains the sources and the various makefiles. It uses "nmake" and has been
compiled with Visual Studio 2013.
It does work, it is reliable and is used by various production s
Dear Andrew,
I would like to draw your attention to the availability of Visual
Studio 2013 Community Edition.
http://msdn.microsoft.com/en-us/visual-studio-community-vs.aspx
Hope it helps,
Maurizio
-Original Message-
From: Andrew Piskorski [mailto:a...@piskorski.com]
Sent: 07 N
Dear Gustaf and Ibrahim,
I am aware of the Coverity plugin but unfortunately I cannot change
the current toolset cause it is the one I use for work and I cannot change
it.
On top of that the Coverity plugins runs on SonarQube 4.3.2 but our current
platform is at 4.5.1.
So basically the me
lable the presentation and
speech also to this list.
For the time being please have a look at the following presentation.
http://www.spazioit.com/pages_en/sol_inf_en/code_quality_en/code-inspection_
en/
Thanks and kind regards,
Maurizio Martignano
Tel +39 0376 1434259 - Fax +39 0376 1434187
Mo
Dear Andrew and Gustaf,
In due time, when you both are confident on the status of Naviserver
on Windows, I would try it inside my Windows-OpenACS distribution.
First of all I would try it in few installations running on the machines I
have in my offices, then once I see it they are running
To: naviserver-devel@lists.sourceforge.net
Subject: Re: [naviserver-devel] warning, shift count undefined behavior
On Wed, Oct 08, 2014 at 08:14:14AM +0200, Maurizio Martignano wrote:
> Dear Andrew,
> Yes, it is a potential issue.
> http://sonarsrv.spazioit.com:9000/dashboard/index?id=my%
Dear Andrew,
Yes, it is a potential issue.
http://sonarsrv.spazioit.com:9000/dashboard/index?id=my%3Anaviserver%3Ansd%2
Fsockfile.c
Maurizio
-Original Message-
From: Andrew Piskorski [mailto:a...@piskorski.com]
Sent: 08 October 2014 07:48
To: naviserver-devel@lists.sourceforge.n
ctive TCL is built)
Hope this helps,
Maurizio
-Original Message-
From: Andrew Piskorski [mailto:a...@piskorski.com]
Sent: 07 October 2014 22:36
To: naviserver-devel@lists.sourceforge.net
Subject: Re: [naviserver-devel] Naviserver hangs on Windows
On Mon, Oct 06, 2014 at 05:18:08PM
I believe you should use it.
Thank you,
Maurizio
-Original Message-
From: Andrew Piskorski [mailto:a...@piskorski.com]
Sent: 05 October 2014 19:47
To: naviserver-devel@lists.sourceforge.net
Cc: Maurizio Martignano
Subject: Re: [naviserver-devel] Naviserver hangs on Windows
On Sat, Oct
Again,
What is your target? Windows 32 or Windows 64?
Did you use the define _USE_32BIT_TIME_T yes or not?
Thank you,
Maurizio
-Original Message-
From: Andrew Piskorski [mailto:a...@piskorski.com]
Sent: 04 October 2014 13:00
To: naviserver-devel@lists.sourceforge.net
Subject: Re
Dear Andrew,
You have risen a very good point.
This is what I think.
1. Fact - Naviserver forked from Aolserver 4.0.x
2. Fact - Aolserver evolved to Aolserver 4.5.2 and then stopped
3. Fact - Naviserver doesn't contain the changes/improvements occurred in
Aolserver fron 4.0.x to 4.5.2
4. Fact - All
The Windows-OpenACS distribution which I make available here
(http://www.spazioit.com/pages_en/sol_inf_en/windows-openacs_en/) is based
on AOLServer 4.5.2, contains the sources, is compiled with Visual Studio
2013 and runs on Windows 64.
So if I where you I would give a look at that distribution an
.net
Subject: Re: [naviserver-devel] Naviserver hangs on Windows
On Fri, Oct 03, 2014 at 03:21:02PM +0200, Maurizio Martignano wrote:
> Dear Andrew,
> Did you happen to use this define _USE_32BIT_TIME_T?
No, I did not. Should I? Does Tcl use that?
Grepping my source files, I see thi
: Re: [naviserver-devel] Naviserver hangs on Windows
On Fri, Oct 03, 2014 at 03:21:02PM +0200, Maurizio Martignano wrote:
> Dear Andrew,
> Did you happen to use this define _USE_32BIT_TIME_T?
No, I did not. Should I? Does Tcl use that?
Grepping my source files, I see this:
./i
Dear Andrew,
Did you happen to use this define _USE_32BIT_TIME_T?
Hope it helps,
Maurizio
-Original Message-
From: Andrew Piskorski [mailto:a...@piskorski.com]
Sent: 03 October 2014 14:49
To: naviserver-devel@lists.sourceforge.net
Subject: [naviserver-devel] Naviserver hangs on
first approximation.
However,
it's not tested, please test it and don't be surprised, if it needs more
tweaks
(maybe my flag settings are too restrictive).
all the best
-g
Am 27.09.14 16:11, schrieb Andrew Piskorski:
On Fri, Sep 26, 2014 at 08:55:37PM +0200, Maurizio Martignano wrote:
Windows, use
TclpCreateTempFile()?
On Fri, Sep 26, 2014 at 06:08:39PM +0200, Maurizio Martignano wrote:
> http://msdn.microsoft.com/en-us/library/ms235413.aspx
No, that is about mktemp (and thus also _mktemp and _mktemp_s), which has
quite different behavior from mkstemp. They are not replacements for each
o
Dear Andrew and Gustaf,
I believe this is the function you are looking for:
http://msdn.microsoft.com/en-us/library/ms235413.aspx
Hope it helps,
Maurizio
-Original Message-
From: Gustaf Neumann [mailto:neum...@wu.ac.at]
Sent: 26 September 2014 14:13
To: naviserver-devel@lists.s
http://msdn.microsoft.com/en-us/library/ms235413.aspx
Maurizio
-Original Message-
From: Gustaf Neumann [mailto:neum...@wu.ac.at]
Sent: 26 September 2014 14:13
To: naviserver-devel@lists.sourceforge.net
Subject: Re: [naviserver-devel] no mkstemp() on Windows, use
TclpCreateTempFile()?
D
Dear Gustav,
This is ok.
I still do not quite understand/explain why the nsthread module is so
different between Aolserver and Naviserver. And again as the two pieces of
software are implemented at the moment, the Aolserver version seems to be
more portable.
Thank you,
Maurizio
-Orig
Dear Andrew,
Handles in windows are void pointers. 32 bit void pointers in Windows 32 and
64 bit void pointers in Windows 64 (obviously). However in WIN64 only the
less significant 32 bits of a handle are used for compatibility and
interoperability reasons.
So having
typedef int pid_t;
or
typedef
Going 32 bit nowadays is a no go. Full stop.
Wish you luck.
Maurizio
-Original Message-
From: Andrew Piskorski [mailto:a...@piskorski.com]
Sent: 25 August 2014 19:46
To: naviserver-devel@lists.sourceforge.net
Cc: Maurizio Martignano
Subject: Re: [naviserver-devel] Windows 7
r, but I do not know the actual user requirements.
Hope this helps,
Maurizio Martignano
-Original Message-
From: Andrew Piskorski [mailto:a...@piskorski.com]
Sent: 10 August 2014 12:46
To: naviserver-devel@lists.sourceforge.net
Subject: [naviserver-devel] Windows 7 recommended compiler
This is good engineering work. I rise my hat to that.
Congrats,
Maurizio
From: Gustaf Neumann [mailto:neum...@wu.ac.at]
Sent: 29 November 2012 19:51
To: naviserver-devel@lists.sourceforge.net
Subject: Re: [naviserver-devel] naviserver with connection thread queue
Dear all,
one more u
Dear all,
I do apologize for my inactivity but some health problem has
"distracted" me from the computer. Hopefully I should be able to come back
fully operative pretty soon.
First of all I would like to thank Gustav for his work.
Secondly, it seems to me there are two major activities go
Sources
On 17.10.12 14:49, Maurizio Martignano wrote:
> 1.Macros are defined.
> 2. What is not accepted is the starting with multiple format strings, e.g.
> ""%d %d %d %" <- 1st string PRId64 <- 2nd string " %" <--- and so on
can you rephrase this. Wh
Splendid!
I believe in the end all the codebase and community will benefit from this
activity.
Thank you,
Maurizio
-Original Message-
From: Gustaf Neumann [mailto:neum...@wu.ac.at]
Sent: 17 October 2012 13:21
To: Navidevel
Subject: [naviserver-devel] var name changes
Dear all,
i hav
er 2012 14:06
To: naviserver-devel@lists.sourceforge.net
Subject: Re: [naviserver-devel] [AOLSERVER] Naviserver Win-64 Sources
On 17.10.12 12:35, Maurizio Martignano wrote:
>
> +#ifdef _WIN64
> +Ns_DStringPrintf(dsPtr, "%d %d %d %l64d %l64d %l64d
> %l64d",
> +#el
Dear Gustav,
Thank you for your mail message.
My answer here below.
Maurizio
-Original Message-
From: Gustaf Neumann [mailto:neum...@wu.ac.at]
Sent: 17 October 2012 11:47
To: naviserver-devel@lists.sourceforge.net
Subject: Re: [naviserver-devel] [AOLSERVER] Naviserver Win-64 So
the original version, it is ok too.
Hope it helps,
Maurizio
-Original Message-
From: Jeff Rogers [mailto:dv...@diphi.com]
Sent: 17 October 2012 07:26
To: Maurizio Martignano
Cc: naviserver-devel@lists.sourceforge.net
Subject: Re: [AOLSERVER] Naviserver Win-64 Sources
Hi Maurizio,
I appre
39 matches
Mail list logo